Intuitionism [E-Book] : an introduction / edited by A. Heyting.
Heyting, A.
Amsterdam : North-Holland, 1956
1 online resource (viii, 133 p.)
englisch
9780444533821
0444533826
Studies in Logic and the Foundations of Mathematics ; v. 17
Full Text
Description not available.