WebOPAC Local書誌詳細

ログイン

書誌詳細

愛知工業大学附属図書館

検索結果一覧へ戻る

	Proof theory Gaisi Takeuti ; American Elsevier, North-Holland. -- North-Holland Pub. Co, 1975. -- (Studies in logic and the foundations of mathematics ; v. 81). <BB00175323> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる目次・あらすじを見る詳細情報を見る書誌URL：

Proof theory Gaisi Takeuti ; American Elsevier, North-Holland. -- North-Holland Pub. Co, 1975. -- (Studies in logic and the foundations of mathematics ; v. 81). <BB00175323> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる目次・あらすじを見る詳細情報を見る書誌URL：

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

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

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	返却予定日	予約
0001	North-Holland	図書館	電動集密洋書	410.1\|\|T	002613255	書架		0件


No.	0001
巻号	North-Holland
所蔵館	図書館
配置場所	電動集密洋書
請求記号	410.1\|\|T
資料ID	002613255
状態	書架
返却予定日
予約	0件

このページのTOPへ

目次・あらすじ

このページのTOPへ

書誌詳細

標題および責任表示

Proof theory / Gaisi Takeuti

出版・頒布事項

Amsterdam : North-Holland Pub. Co

出版・頒布事項

New York : American Elsevier Pub. Co. , 1975

形態事項

vii, 372 p. ; 23 cm

巻号情報

巻次等	American Elsevier
ISBN	0444104925

巻号情報

巻次等	North-Holland
ISBN	0720422779

書誌構造リンク

Studies in logic and the foundations of mathematics <BB00175288> v. 81//a

注記

Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968

注記

Includes index

学情ID

BA04661981

本文言語コード

英語

著者標目リンク

*竹内, 外史(1926-)||タケウチ, ガイシ <AU00030050>

分類標目

LCC:QA9.54

分類標目

DC:511/.3

件名標目等

Proof theory

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ