>> Amazon.co.jp
このページのQRコード

Handbook of proof theory

種類:
図書
責任表示:
edited by Samuel R. Buss
出版情報:
Amsterdam : Elsevier, 1998
著者名:
Buss, Samuel R. <DA01948976>  
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 137 <BA00099329>
ISBN:
9780444898401 [0444898409]  CiNii Books  Calil
注記:
Includes bibliographical references and indexes
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 図書 Proof theory and logical complexity

Girard, Jean-Yves

Bibliopolis
10 図書 Proof and system-reliability

Schwichtenberg, Helmut, 1942-, Steinbrüggen, Ralf, NATO Advanced Study Institute

Kluwer Academic
5 図書 Basic proof theory

Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942-

Cambridge University Press
11 図書 Proofs and fundamentals : a first course in abstract mathematics

Bloch, Ethan D. 1956-

Birkhäuser
6 図書 Structural proof theory

Negri, Sara, 1967-, Von Plato, Jan, Ranta, Aarne

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