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
類似資料:
Springer-Verlag | |
Springer-Verlag |
North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science |
Springer-Verlag | |
Springer-Verlag |
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg |
Springer-Verlag |
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg |
North-Holland |