Intuitionism, An Introduction. Heyting, A. North-Holland, Amsterdam, 1956. [2nd. rev. edn., 1966]bibtex @BOOK{Hey56,
title = {Intuitionism, {A}n {I}ntroduction},
publisher = {North-Holland},
year = {1956},
author = {Heyting, A.},
address = {Amsterdam},
note = {[2nd. rev. edn., 1966]},
keywords = {bib,con}
}
Downloads: 0
{"_id":{"_str":"538c431b0e577e1d6b00417c"},"__v":0,"authorIDs":[],"author_short":["Heyting, A."],"bibbaseid":"heyting-intuitionismanintroduction-1956","bibdata":{"bibtype":"book","type":"book","title":"Intuitionism, An Introduction","publisher":"North-Holland","year":"1956","author":[{"propositions":[],"lastnames":["Heyting"],"firstnames":["A."],"suffixes":[]}],"address":"Amsterdam","note":"[2nd. rev. edn., 1966]","keywords":"bib,con","bibtex":"@BOOK{Hey56,\r\n title = {Intuitionism, {A}n {I}ntroduction},\r\n publisher = {North-Holland},\r\n year = {1956},\r\n author = {Heyting, A.},\r\n address = {Amsterdam},\r\n note = {[2nd. rev. edn., 1966]},\r\n keywords = {bib,con}\r\n}\r\n\r\n","author_short":["Heyting, A."],"key":"Hey56","id":"Hey56","bibbaseid":"heyting-intuitionismanintroduction-1956","role":"author","urls":{},"keyword":["bib","con"],"downloads":0},"bibtype":"book","biburl":"http://cca-net.de/publications/lit.bib","downloads":0,"keywords":["bib","con"],"search_terms":["intuitionism","introduction","heyting"],"title":"Intuitionism, An Introduction","year":1956,"dataSources":["t7rKiAbxugj4Agz8M"]}