Two applications of logic to mathematics | 東京工業大学附属図書館蔵書検索

Blank Cover Image

所蔵情報QRコード

Two applications of logic to mathematics / by Gaisi Takeuti

資料種別:: 図書
出版情報:: [Tokyo] : Iwanami Shoten
[Princeton, N.J.] : Princeton University Press, 1978
形態:: viii, 137 p. ; 26 cm
シリーズ名:: Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3 <BA00465970>
著者名:: 竹内, 外史(1926-) <DA00113867>
ISBN:: 9780691082127 [069108212X]
書誌ID:: BA04211588

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Bibliography: p. [136]-137 Includes index
著者名ヨミ:	タケウチ, ガイシ
主題:	Algebra, Boolean; Logic, Symbolic and mathematical
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Frege and Gödel : two fundamental texts in mathematical logic (: hard ; : pbk) Van Heijenoort, Jean, 1912-, Frege, Gottlob, 1848-1925, Gödel, Kurt, 1906-1978 Harvard University Press	7 図書証明論と計算量竹内, 外史(1926-) 裳華房
2 図書 Mathematical logic and formalized theories : a survey of basic concepts and results (: ne) Rogers, Vincent Robert, 1926- North-Holland	8 図書数学基礎論竹内, 外史(1926-) 共立出版
3 図書数学から物理学へ竹内, 外史(1926-) 日本評論社	9 図書 Proof theory (American Elsevier ; North-Holland) 竹内, 外史(1926-) North-Holland Pub. Co, American Elsevier Pub. Co.
4 図書現代集合論入門竹内, 外史(1926-) 日本評論社	10 図書 PとNP : 計算量の根本問題竹内, 外史(1926-) 日本評論社
5 図書数理論理学 : 語の問題竹内, 外史(1926-) 培風館	11 図書数学基礎論竹内, 外史(1926-) 共立出版
6 図書数学基礎論の世界 : ロジックの雑記帳から竹内, 外史(1926-) 日本評論社	12 図書線型論理入門竹内, 外史(1926-) 日本評論社

1

2

3

4

5

6

7

8

9

10

11

12