All material (C)opyright 2004 - The Automath Archive, Eindhoven University of Technology
Title: The mathematical language AUTOMATH, its usage and some of its extensions
Author: N.G. de Bruijn
Presented at: Symposium on Automatic Demonstration, IRIA, Versailles, France
Presentation date: December 1968
Printed: Lecture notes in Mathematics, Vol. 125, pp 29-61
Publishing date: 1970
Publisher: Springer-Verlag
Publishing location: Versailles, France
Pages: 33
Language: English
Note: 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 A2, pp. 73-100.
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