Intuitionism [E-Book] : an introduction / edited by A. Heyting.
Heyting, A.
2nd ed.
Amsterdam : North-Holland, 1966
1 online resource (ix, 147 p.) : ill.
englisch
9780444534064
0444534067
Studies in Logic and the Foundations of Mathematics ; v. 41
Full Text
Description not available.