Abstract
No abstract
Original language | English |
---|---|
Title of host publication | Selected Papers on Automath |
Editors | R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de |
Place of Publication | Amsterdam |
Publisher | North-Holland Publishing Company |
Pages | 251-273 |
ISBN (Print) | 0-444-89822-0 |
Publication status | Published - 1994 |
Publication series
Name | Studies in Logic |
---|---|
Volume | 133 |