@inbook{4da47f3b18ec44e79acb60af631c178d,
title = "Checking Landau's {"}Grundlagen{"} in the Automath system : Parts of chapter 3 (Verification)",
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.",
author = "{Benthem Jutting, van}, L.S.",
year = "1994",
language = "English",
isbn = "0-444-89822-0",
series = "Studies in Logic",
publisher = "North-Holland Publishing Company",
pages = "805--808",
editor = "R.P. Nederpelt and J.H. Geuvers and {Vrijer, de}, R.C.",
booktitle = "Selected Papers on Automath",
address = "Netherlands",
}