| AUT073 | All material (C)opyright
2004 - The Automath Archive, Eindhoven University of Technology |
| Title: | The language theory of AUTOMATH |
| Author: | D.T. van Daalen |
| Printed: | PhD Thesis |
| Publishing date: | February 1980 |
| Publishing location: | Department of Mathematics, Eindhoven University of Technology |
| Pages: | 309 |
| Language: | English |
| Note: | Parts also published in Selected Papers on Automath, Studies in Logic and the Foundations of Mathematics, Vol. 133, Ed. R.P. Nederpelt, J.H. Geuvers and R.C. de Vrijer, chapter A6, B6, C5, pp. 163-200, 303-312, 493-654. |
| Browse: | Click here to browse a webversion of this article |
| Download this article: | FAX-TIFF format, zip compressed |
| FAX-TIFF format, tar compressed | |
| PDF version | |
| JPG version |