Complexity of proofs and their transformations in axiomatic theories

このページのQRコード

種類:

図書

責任表示:

V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]

出版情報:

Providence, R.I. : American Mathematical Society, c1993

著者名:

シリーズ名:

ISBN:

9780821845769 [0821845764]

注記:

Includes bibliographical references (p. 151-153)

所蔵情報

子書誌情報

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

詳細

その他の標題:	Сложность доказательств и их преобразований в аксиоматизированных теориях Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii︠a︡kh
主題:	Proof theory
分類・件名:	LCC : QA9.54 DDC : 511.3 LCSH : Proof theory
LCCN:	93011139
TTLL:	eng
言語:	英語
形態:	vi, 153 p. : ill. ; 26 cm
書誌ID:	BA21082506

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Proof theory and logical complexity Girard, Jean-Yves Bibliopolis	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 図書 Proof theory Schütte, K. (Kurt) Springer-Verlag	10 図書 Proof and system-reliability Schwichtenberg, Helmut, 1942-, Steinbrüggen, Ralf, NATO Advanced Study Institute Kluwer Academic
5 図書 Handbook of proof theory Buss, Samuel R. Elsevier	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