✦ LIBER ✦
Selected papers on automath: Edited by R. P. Nederpelt, J. H. Geuvers and R. C. De Vrijer. Elsevier, Amsterdam. (1994). 1024 pages. $214.25, Dfl. 375.00
- Book ID
- 103931608
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 122 KB
- Volume
- 30
- Category
- Article
- ISSN
- 0898-1221
No coin nor oath required. For personal study only.