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

Proof theory / Gaisi Takeuti

資料種別:
図書
出版情報:
Amsterdam : North-Holland Pub. Co
New York : American Elsevier Pub. Co., 1975
形態:
vii, 372 p. ; 23 cm
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 81 <BA00099329>
著者名:
竹内, 外史(1926-) <DA00113867>  
ISBN:
9780444104922 [0444104925] (American Elsevier)
9780720422771 [0720422779] (North-Holland)
書誌ID:
BA04661981
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Proof theory

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

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science
7 図書 Arithmetic, proof theory, and computational complexity

Clote, Peter, Krajíček, Jan

Clarendon Press
2 図書 Proof theory (: gw ; : us)

Schütte, K. (Kurt)

Springer-Verlag
8 図書 Axiomatic set theory (: us : hard cover ; : us : soft cover ; : gw : soft cover)

竹内, 外史(1926-), Zaring, Wilson M.

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

Girard, Jean-Yves

Bibliopolis
9 図書 Introduction to axiomatic set theory (: us ; : gw)

竹内, 外史(1926-), Zaring, Wilson M.

Springer
4 図書 Proof theory and intuitionistic systems (: Germany ; : U.S.)

Scarpellini, Bruno

Springer-Verlag
10 図書 Introduction to axiomatic set theory (: soft cover)

竹内, 外史(1926-), Zaring, Wilson M.

Springer-Verlag
5 図書 Structural proof theory (pbk)

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

Cambridge University Press
11 図書 数学から物理学へ

竹内, 外史(1926-)

日本評論社
6 電子ブック Basic proof theory (: electronic bk)

Troelstra, A. S., Schwichtenberg, Helmut
12 図書 現代集合論入門

竹内, 外史(1926-)

日本評論社
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12