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

Extensional Gödel functional interpretation : a consistency proof of classical analysis

種類:
図書
責任表示:
Horst Luckhardt
出版情報:
Berlin : Springer-Verlag, 1973
著者名:
Luckhardt, Horst <DA07576670>  
シリーズ名:
Lecture notes in mathematics ; 306 <BA00146586>
ISBN:
9780387061191 [0387061193] (: u.s.)  CiNii Books  Calil
9783540061199 [3540061193] (: gw)  CiNii Books  Calil
注記:
Bibliography: p. 157-161
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Extensional Gödel Functional Interpretation : A Consistensy Proof of Classical Analysis

Luckhardt, Horst., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 図書 Proof theory

竹内, 外史(1926-)

North-Holland Pub. Co, American Elsevier Pub. Co.
2 図書 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics

Wallen, Lincoln A.

MIT Press
8 図書 Proof theory

Schütte, K. (Kurt)

Springer-Verlag
3 図書 Proof theory and intuitionistic systems

Scarpellini, Bruno

Springer-Verlag
9 図書 Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.

Troelstra, A. S. (Anne Sjerp)

Springer-Verlag
4 図書 Metamathematical investigation of intuitionistic arithmetic and analysis

Troelstra, A. S. (Anne Sjerp)

Springer
10 図書 Handbook of proof theory

Buss, Samuel R.

Elsevier
5 図書 Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

Buchholz, Wilfried, 1948-

Springer-Verlag
11 図書 Proof and system-reliability

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

Kluwer Academic
6 図書 Proof theory

竹内, 外史(1926-), Symposium on Intuitionism and Proof Theory

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science
12 図書 Proof theory and logical complexity

Girard, Jean-Yves

Bibliopolis