Proof theory | 金沢大学附属図書館 OPAC plus

>> Google Books

QRコード(所蔵情報)

Proof theory

フォーマット:: 図書
責任表示:: Gaisi Takeuti
言語:: 英語
出版情報:: Amsterdam : North-Holland Pub. Co
New York : American Elsevier Pub. Co., 1975
形態:: vii, 372 p. ; 23 cm
著者名:: 竹内, 外史(1926-) <DA00113867>
シリーズ名:: Studies in logic and the foundations of mathematics ; v. 81 <BA00099329>
書誌ID:: BA04661981
ISBN:: 9780444104922 [0444104925] (American Elsevier)
9780720422771 [0720422779] (North-Holland)

子書誌情報

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

主題:	Proof theory
分類・件名:	LCC : QA9.54 DDC : 511/.3 LCSH : Proof theory
LCCN:	75023164
注記:	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
TTLL:	eng
著者名ヨミ:	タケウチ, ガイシ

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Basic proof theory Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942- Cambridge University Press	7 図書 Conjecture and proof Laczkovich, Miklós, Mathematical Association of America The Mathematical Association of America
2 図書 Proof theory : an introduction Pohlers, Wolfram Springer-Verlag	8 図書 Analysis : with an introduction to proof Lay, Steven R., 1944- Prentice Hall
3 図書 Proof theory and logical complexity Girard, Jean-Yves Bibliopolis	9 図書数学から物理学へ竹内, 外史(1926-) 日本評論社
4 図書 Complexity of proofs and their transformations in axiomatic theories Orevkov, V. P, Bochman, Alexander, Louvish, David American Mathematical Society	10 図書ゲーデル竹内, 外史(1926-) 日本評論社
5 図書 Introduction to axiomatic set theory 竹内, 外史(1926-), Zaring, Wilson M. Springer-Verlag	11 図書直観主義的集合論竹内, 外史(1926-) 紀伊国屋書店
6 図書 Proof complexity Krajíček, Jan Cambridge University Press	12 図書数学的世界観 : 現代数学の思想と展望竹内, 外史(1926-) 紀伊國屋書店