Proof theory

所蔵情報QRコード

版:

2nd ed

資料種別:

図書

出版情報:

Amsterdam ; New York ; Tokyo : North-Holland
New York : Sole distributors for the U.S.A. and Canada, Elsevier Science, 1987

形態:

x, 490 p. ; 23 cm

シリーズ名:

著者名:

ISBN:

9780444879431 [0444879439]

書誌ID:

BA00434660

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968 Includes bibliographies and index
著者名ヨミ:	タケウチ, ガイシ
主題:	Proof theory
言語:	英語

東工大ブックレビュー

1 図書 Proof theory (American Elsevier ; North-Holland) 竹内, 外史(1926-) North-Holland Pub. Co, American Elsevier Pub. Co.	7 図書 Arithmetic, proof theory, and computational complexity Clote, Peter, Krajíček, Jan Clarendon Press
2 図書 Proof theory (: gw ; : us) Schütte, K. (Kurt) Springer-Verlag	8 図書 Axiomatic set theory (: us : hard cover ; : us : soft cover ; : gw : soft cover) 竹内, 外史(1926-), Zaring, Wilson M. Springer-Verlag
3 図書 Proof theory and logical complexity (v. 1 : Italy ; v. 1) Girard, Jean-Yves Bibliopolis	9 図書 Introduction to axiomatic set theory (: us ; : gw) 竹内, 外史(1926-), Zaring, Wilson M. Springer
4 図書 Proof theory and intuitionistic systems (: Germany ; : U.S.) Scarpellini, Bruno Springer-Verlag	10 図書 Introduction to axiomatic set theory (: soft cover) 竹内, 外史(1926-), Zaring, Wilson M. Springer-Verlag
5 図書 Structural proof theory (pbk) Negri, Sara, 1967-, Von Plato, Jan, Ranta, Aarne Cambridge University Press	11 図書数学から物理学へ竹内, 外史(1926-) 日本評論社
6 電子ブック Basic proof theory (: electronic bk) Troelstra, A. S., Schwichtenberg, Helmut	12 図書現代集合論入門竹内, 外史(1926-) 日本評論社

1

2

3

4

5

6

7

8

9

10

11

12