| AUT046 | All material (C)opyright
2004 - The Automath Archive, Eindhoven University of Technology |
| Title: | Checking Landau’s “Grundlagen” in the AUTOMATH system |
| Author: | L.S. van Benthem Jutting |
| Printed: | PhD Thesis |
| Publishing date: | March 1977 |
| Publishing location: | Department of Mathematics, Eindhoven University of Technology |
| Pages: | 125 |
| Language: | English |
| Note: | Also: Mathematical Centre Tracts 83, Amsterdam, 1979. 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 B5, E2, D2, D3 and D5, pp. 299-302, 805-808, 701-732, 763-780 |
| 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 |