>> Google Books
所蔵情報QRコード

Proof theory / Kurt Schütte ; translation from the German by J.N. Crossley

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, 1977
形態:
xii, 302 p. ; 25 cm
シリーズ名:
Die Grundlehren der mathematischen Wissenschaften ; Bd. 225 <BA00007422>
著者名:
Schütte, K. (Kurt) <DA00403062>  
ISBN:
9783540079118 [3540079114] (: gw)
9780387079110 [0387079114] (: us)
書誌ID:
BA01358976
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Beweistheorie

Schütte, K. (Kurt)

Springer
7 電子ブック Basic proof theory (: electronic bk)

Troelstra, A. S., Schwichtenberg, Helmut
2 図書 Proof theory (American Elsevier ; North-Holland)

竹内, 外史(1926-)

North-Holland Pub. Co, American Elsevier Pub. Co.
8 図書 Arithmetic, proof theory, and computational complexity

Clote, Peter, Krajíček, Jan

Clarendon Press
3 図書 Proof theory

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

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science
9 図書 ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic … (: gw ; : u.s.)

ISILC Proof Theory Symposium, Schütte, K. (Kurt), Diller, Justus, Müller, G. H. (Gert Heinz), 1923-, International …

Springer-Verlag
4 図書 Proof theory and logical complexity (v. 1 : Italy ; v. 1)

Girard, Jean-Yves

Bibliopolis
10 図書 Proof complexity (: hardback)

Krajíček, Jan

Cambridge University Press
5 図書 Proof theory and intuitionistic systems (: Germany ; : U.S.)

Scarpellini, Bruno

Springer-Verlag
11 図書 Algebra of proofs

Szabo, M. E.

North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier North-Holland
6 図書 Structural proof theory (pbk)

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

Cambridge University Press
12 電子ブック Proof complexity (: electronic bk)

Krajíček, Jan
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12