Proof theory

このページのQRコード

種類:: 図書
責任表示:: Kurt Schütte ; translation from the German by J.N. Crossley
出版情報:: Berlin ; New York : Springer-Verlag, 1977
著者名:: Schütte, K. (Kurt) <DA00403062>
シリーズ名:: Die Grundlehren der mathematischen Wissenschaften ; Bd. 225 <BA00007422>
ISBN:: 9783540079118 [3540079114] (: gw)
9780387079110 [0387079114] (: us)
注記:: Translation of Beweistheorie, rev. ed. Originally published as Beweistheorie: Berlin : Springer, 1960. (Die Grundlehren der mathematischen Wissenschaften ; Bd. 103)
Bibliography: p. [293]-296
Includes index

所蔵情報

子書誌情報

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

詳細

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Beweistheorie Schütte, K. (Kurt) Springer	7 図書 Structural proof theory Negri, Sara, 1967-, Von Plato, Jan, Ranta, Aarne Cambridge University Press
2 図書 Proof theory 竹内, 外史(1926-), Symposium on Intuitionism and Proof Theory North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science	8 図書 Proof theory : an introduction Pohlers, Wolfram Springer-Verlag
3 図書 Proof theory 竹内, 外史(1926-) North-Holland Pub. Co, American Elsevier Pub. Co.	9 図書 Proof theory and intuitionistic systems Scarpellini, Bruno Springer-Verlag
4 図書 Handbook of proof theory Buss, Samuel R. Elsevier	10 図書 Complexity of proofs and their transformations in axiomatic theories Orevkov, V. P, Bochman, Alexander, Louvish, David American Mathematical Society
5 図書 Proof theory and logical complexity Girard, Jean-Yves Bibliopolis	11 図書 Proof and system-reliability Schwichtenberg, Helmut, 1942-, Steinbrüggen, Ralf, NATO Advanced Study Institute Kluwer Academic
6 図書 Basic proof theory Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942- Cambridge University Press	12 図書 Proofs and fundamentals : a first course in abstract mathematics Bloch, Ethan D. 1956- Birkhäuser