| AUT035 | All material (C)opyright
2004 - The Automath Archive, Eindhoven University of Technology |
| Title: | A description of AUTOMATH and some aspects of its language theory |
| Author: | D.T. van Daalen |
| Printed: | Proceedings of the Symposium APLASM, ed. P. Braffort, vol. I |
| Publishing date: | December 1973 |
| Publishing location: | Department of Mathematics, Eindhoven University of Technology |
| Pages: | 31 |
| Language: | English |
| Note: | Also in: Checking Landau’s “Grundlagen” in the AUTOMATH
system, by L.S. van Benthem Jutting, Mathematical Centre Tracts 83, Amsterdam,
1979. 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 A3, pp. 101-126 |
| 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 |