Proof theory

このページのQRコード

種類:: 図書
責任表示:: Gaisi Takeuti
出版情報:: Amsterdam : North-Holland Pub. Co
New York : American Elsevier Pub. Co., 1975
著者名:: 竹内, 外史(1926-) <DA00113867>
シリーズ名:: Studies in logic and the foundations of mathematics ; v. 81 <BA00099329>
ISBN:: 9780444104922 [0444104925] (American Elsevier)
9780720422771 [0720422779] (North-Holland)
注記:: 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

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Proof theory 竹内, 外史(1926-), Symposium on Intuitionism and Proof Theory North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science	7 図書 Proof theory : an introduction Pohlers, Wolfram Springer-Verlag
2 図書 Proof theory Schütte, K. (Kurt) Springer-Verlag	8 図書 Proof theory and intuitionistic systems Scarpellini, Bruno Springer-Verlag
3 図書 Handbook of proof theory Buss, Samuel R. Elsevier	9 図書 Complexity of proofs and their transformations in axiomatic theories Orevkov, V. P, Bochman, Alexander, Louvish, David American Mathematical Society
4 図書 Proof theory and logical complexity Girard, Jean-Yves Bibliopolis	10 図書 Introduction to axiomatic set theory 竹内, 外史(1926-), Zaring, Wilson M. Springer
5 図書 Basic proof theory Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942- Cambridge University Press	11 図書 Axiomatic set theory 竹内, 外史(1926-), Zaring, Wilson M. Springer-Verlag
6 図書 Structural proof theory Negri, Sara, 1967-, Von Plato, Jan, Ranta, Aarne Cambridge University Press	12 図書 Introduction to axiomatic set theory 竹内, 外史(1926-), Zaring, Wilson M. Springer-Verlag