Intuitionism :
Heyting, Arend
Intuitionism : an introduction - Amsterdam : Noord-Hollandsche Uitgevers Mij, 1956 - 132 p.
LOGICA SIMBOLICA Y MATEMATICA
511.3 / H621
Intuitionism : an introduction - Amsterdam : Noord-Hollandsche Uitgevers Mij, 1956 - 132 p.
LOGICA SIMBOLICA Y MATEMATICA
511.3 / H621