Conjecture and proof

フォーマット:
図書
責任表示:
Miklós Laczkovich
言語:
英語
出版情報:
Washington, D.C. : The Mathematical Association of America, c2001
形態:
x, 118 p : ill ; 23 cm
著者名:
シリーズ名:
Classroom resource materials <BA24106768>
書誌ID:
BA59144923
ISBN:
9780883857229 [0883857227]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Proof theory

竹内, 外史(1926-)

UT Back-in-Print Service
7 図書 Proof theory and automated deduction

Goubault-Larrecq, Jean, Mackie, I. (Ian)

Kluwer Academic
2 図書 Proof theory

竹内, 外史(1926-)

North-Holland Pub. Co, American Elsevier Pub. Co.
8 図書 Goal-directed proof theory

Gabbay, Dov M., 1945-, Olivetti, Nicola

Kluwer
3 図書 Proof theory : an introduction

Pohlers, Wolfram

Springer-Verlag
9 図書 Logical foundations of proof complexity

Cook, Stephen, 1948-, Nguyen, Phuong

Association for Symbolic Logic : Cambridge University Press
4 図書 Proof theory and logical complexity

Girard, Jean-Yves

Bibliopolis
10 図書 Handbook of proof theory

Buss, Samuel R.

Elsevier
5 図書 Logic, proof, and sets

Bittinger, Marvin L.

Addison-Wesley
11 図書 Incompleteness : the proof and paradox of Kurt Gödel

Goldstein, Rebecca, 1950-

W.W. Norton
6 図書 Proof theory and intuitionistic systems

Scarpellini, Bruno

Springer-Verlag
12 図書 Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

Buchholz, Wilfried, 1948-

Springer-Verlag