Structural proof theory

このページのQRコード

種類:

図書

責任表示:

Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta

出版情報:

Cambridge, [Eng.] : Cambridge University Press, 2001

著者名:

ISBN:

9780521793070 [0521793076]

注記:

Includes bibliography (p. 245-249) and indexes

所蔵情報

子書誌情報

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

詳細

内容紹介

目次情報

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 竹内, 外史(1926-) North-Holland Pub. Co, American Elsevier Pub. Co.	8 図書 Proof theory and intuitionistic systems Scarpellini, Bruno Springer-Verlag
3 図書 Proof theory Schütte, K. (Kurt) Springer-Verlag	9 図書 Complexity of proofs and their transformations in axiomatic theories Orevkov, V. P, Bochman, Alexander, Louvish, David American Mathematical Society
4 図書 Handbook of proof theory Buss, Samuel R. Elsevier	10 図書 Proof and system-reliability Schwichtenberg, Helmut, 1942-, Steinbrüggen, Ralf, NATO Advanced Study Institute Kluwer Academic
5 図書 Proof theory and logical complexity Girard, Jean-Yves Bibliopolis	11 図書 Proofs and fundamentals : a first course in abstract mathematics Bloch, Ethan D. 1956- Birkhäuser
6 図書 Basic proof theory Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942- Cambridge University Press	12 図書 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics Wallen, Lincoln A. MIT Press