Proof theory. 2nd ed
- 種類:
- 図書
- 責任表示:
- Gaisi Takeuti
- 出版情報:
- Amsterdam ; New York ; Tokyo : North-Holland
New York : Sole distributors for the U.S.A. and Canada, Elsevier Science, 1987 - 著者名:
- シリーズ名:
- Studies in logic and the foundations of mathematics ; v. 81 <BA00099329>
- ISBN:
- 9780444879431 [0444879439]
- 注記:
- Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968
Includes bibliographies and index
類似資料:
North-Holland Pub. Co, American Elsevier Pub. Co. |
Springer-Verlag |
Springer-Verlag |
Springer-Verlag |
Elsevier |
American Mathematical Society |
Bibliopolis |
Springer |
Cambridge University Press |
Springer-Verlag |
Cambridge University Press |
Springer-Verlag |