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

Abstract

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
Pages805-808
ISBN (Print)0-444-89822-0
Publication statusPublished - 1994

Publication series

NameStudies in Logic
Volume133

Cite this