神奈川工科大学附属図書館
ログイン

神奈川工科大学附属図書館

検索結果一覧へ戻る

Basic proof theory

A. S. Troelstra, H. Schwichtenberg ; pbk.. -- 2nd ed.. -- Cambridge University Press, 2000. -- (Cambridge tracts in theoretical computer science, 43). <BB00114348>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

Basic proof theory

A. S. Troelstra, H. Schwichtenberg ; pbk.. -- 2nd ed.. -- Cambridge University Press, 2000. -- (Cambridge tracts in theoretical computer science, 43). <BB00114348>
登録タグ：
登録されているタグはありません
便利機能：
レビューを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 図書館 2階書架 410.9||T 120228259 0件
No. 0001
巻号
所蔵館 図書館
配置場所 2階書架
請求記号 410.9||T
資料ID 120228259
状態
返却予定日
予約 0件
このページのTOPへ

書誌詳細

標題および責任表示 Basic proof theory / A. S. Troelstra, H. Schwichtenberg
版事項 2nd ed.
出版・頒布事項 Cambridge ; New York : Cambridge University Press , 2000
形態事項 xii, 417 p. ; 23 cm
巻号情報
ISBN 0521779111
巻号情報
巻次等 pbk.
書誌構造リンク Cambridge tracts in theoretical computer science, 43
注記 Includes bibliographical references and index
学情ID BA47606340
本文言語コード 英語
著者標目リンク Troelstra, Anne Sjerp
著者標目リンク Schwichtenberg, Helmut, 1942- <NC:DA07660631>
分類標目 LCC:QA9.54
分類標目 DC20:511.3
件名標目等 Proof theory
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    この書誌のQRコード