Handbook of proof theory
- 種類:
- 図書
- 責任表示:
- edited by Samuel R. Buss
- 出版情報:
- Amsterdam : Elsevier, 1998
- 著者名:
- Buss, Samuel R. <DA01948976>
- シリーズ名:
- Studies in logic and the foundations of mathematics ; v. 137 <BA00099329>
- ISBN:
- 9780444898401 [0444898409]
- 注記:
- Includes bibliographical references and indexes
類似資料:
North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science |
Springer-Verlag |
North-Holland Pub. Co, American Elsevier Pub. Co. |
Springer-Verlag |
Springer-Verlag |
American Mathematical Society |
Bibliopolis |
Kluwer Academic |
Cambridge University Press |
Birkhäuser |
Cambridge University Press |