Selected papers on Automath
- 種類:
- 図書
- 責任表示:
- edited by R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer ; with the assistance of L.S. van Benthem Jutting, D.T. van Daalen
- 出版情報:
- Amsterdam : Elsevier, 1994
- 著者名:
- シリーズ名:
- Studies in logic and the foundations of mathematics ; v. 133 <BA00099329>
- ISBN:
- 9780444898227 [0444898220]
- 注記:
- Includes bibliographical references and index
類似資料:
World Scientific |
BIRKHAUSER |
Birkhäuser |
BIRKHAUSER |
Springer Berlin Heidelberg : Imprint: Springer |
Oxford University Press |
DOVER |
Springer Berlin Heidelberg : Imprint: Springer |
J.M. Dent, E.P. Dutton |
M. Dekker |
The Viking Press |
Springer |