Proof theory

このページのQRコード

種類:

図書

責任表示:

Gaisi Takeuti

出版情報:

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

著者名:

シリーズ名:

ISBN:

9780444879431 [0444879439]

注記:

Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
Includes bibliographies and index

所蔵情報

子書誌情報

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

詳細

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Proof theory 竹内, 外史(1926-) North-Holland Pub. Co, American Elsevier Pub. Co.	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