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

L.S. Benthem Jutting, van

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Originele taal-2Engels
TitelSelected Papers on Automath
RedacteurenR.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Plaats van productieAmsterdam
UitgeverijNorth-Holland Publishing Company
Pagina's721-732
ISBN van geprinte versie0-444-89822-0
StatusGepubliceerd - 1994

Publicatie series

NaamStudies in Logic
Volume133

Citeer dit