Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification)

L.S. Benthem Jutting, van

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic


In this chapter the verification of the AUT-QE text is described. Some features of the program and the possibility of excerptiiig are discussed.
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
ISBN (Print)0-444-89822-0
Publication statusPublished - 1994

Publication series

NameStudies in Logic

Cite this