@inbook{abd31d5dd4b74ec989259d70ee0fc18a,
title = "Checking Landau's {"}Grundlagen{"} in the Automath system : Parts of chapters 0, 1 and 2 (Introduction, Preparation, Translation)",
abstract = "No abstract.",
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 = "701--720",
editor = "R.P. Nederpelt and J.H. Geuvers and {Vrijer, de}, R.C.",
booktitle = "Selected Papers on Automath",
address = "Netherlands",
}