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

Proof theory, constructive mathematics / Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1987
形態:
xli, 405 p. ; 28 cm
シリーズ名:
Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6 <BA00027452>
著者名:
ISBN:
9783540155249 [3540155244] (: Germany)
9780387155241 [0387155244] (: U.S.)
書誌ID:
BA00749049
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Ebbinghaus, Heinz-Dieter, 1939-

Springer-Verlag

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Hinman, Peter G.

Springer-Verlag

L.E.J. Brouwer Centenary Symposium, Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966, Troelstra, A. S. (Anne Sjerp), …

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Blass, Andreas R.

Springer-Verlag

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang

Springer-Verlag

Justus Diller, Müller, G. H., Müller, Gert H.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang

Springer-Verlag

11 電子ブック Higher Set Theory

Gert H. Müller, Müller, Gert Heinz, Scott, Dana S., Mathematisches Forschungsinstitut Oberwolfach., Scott, D. S.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Troelstra, A. S. (Anne Sjerp), Dalen, D. van (Dirk), 1932-, Heyting, A. (Arend), 1898-

North-Holland

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

Springer-Verlag

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12