Checking Landau's 'Grundlagen' in the Automath system

Additional Metadata
MSC	Foundations of classical theories (including reverse mathematics) (msc 03B30), Combinatory logic and lambda-calculus (msc 03B40), Explicit machine computation and programs (not the theory of computation or programming) (msc 03-04)
Publisher	Centrum Voor Wiskunde en Informatica
ISBN	978-90-6196-147-5
Series	MC Tracts
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	van Benthem Jutting, L. S. (1979). Checking Landau's 'Grundlagen' in the Automath system. MC Tracts. Centrum Voor Wiskunde en Informatica.

Publication