Basic proof theory

このページのQRコード

種類:

図書

責任表示:

A.S. Troelstra, H. Schwichtenberg

出版情報:

Cambridge ; New York : Cambridge University Press, 1996

著者名:

シリーズ名:

ISBN:

9780521572231 [0521572231] (: hardback)

注記:

Includes bibliographical references (p. 309-330) and index

所蔵情報

子書誌情報

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

詳細

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Metamathematical investigation of intuitionistic arithmetic and analysis Troelstra, A. S. (Anne Sjerp) Springer	7 図書 Handbook of proof theory Buss, Samuel R. Elsevier
2 図書 Proof and system-reliability Schwichtenberg, Helmut, 1942-, Steinbrüggen, Ralf, NATO Advanced Study Institute Kluwer Academic	8 図書 Proof theory and logical complexity Girard, Jean-Yves Bibliopolis
3 図書 Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. Troelstra, A. S. (Anne Sjerp) Springer-Verlag	9 図書 Structural proof theory Negri, Sara, 1967-, Von Plato, Jan, Ranta, Aarne Cambridge University Press
4 図書 Proof theory 竹内, 外史(1926-), Symposium on Intuitionism and Proof Theory North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science	10 図書 Proof theory : an introduction Pohlers, Wolfram Springer-Verlag
5 図書 Proof theory 竹内, 外史(1926-) North-Holland Pub. Co, American Elsevier Pub. Co.	11 図書 Proof theory and intuitionistic systems Scarpellini, Bruno Springer-Verlag
6 図書 Proof theory Schütte, K. (Kurt) Springer-Verlag	12 図書 Complexity of proofs and their transformations in axiomatic theories Orevkov, V. P, Bochman, Alexander, Louvish, David American Mathematical Society