Checking Landau's "Grundlagen" in the Automath system : Chapter 4 (Conclusions)

L.S. Benthem Jutting, van

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageEnglish
Title of host publicationSelected Papers on Automath
EditorsR.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Place of PublicationAmsterdam
PublisherNorth-Holland Publishing Company
Pages721-732
ISBN (Print)0-444-89822-0
Publication statusPublished - 1994

Publication series

NameStudies in Logic
Volume133

Cite this

Benthem Jutting, van, L. S. (1994). Checking Landau's "Grundlagen" in the Automath system : Chapter 4 (Conclusions). In R. P. Nederpelt, J. H. Geuvers, & R. C. Vrijer, de (Eds.), Selected Papers on Automath (pp. 721-732). (Studies in Logic; Vol. 133). North-Holland Publishing Company.