Absoluteness of intuitionistic logic

Additional Metadata
MSC	Intuitionistic mathematics (msc 03F55)
Publisher	Centrum Voor Wiskunde en Informatica
ISBN	978-90-6196-122-2
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	Leivant, D. (1979). Absoluteness of intuitionistic logic. MC Tracts. Centrum Voor Wiskunde en Informatica.

Publication