Constructivity in mathematics : proceedinds of the Colloquium held at Amsterdam, 1957 /

• Corporate Author: International Colloquium "Constructivity in Mathematics" Amsterdam, Netherlands
• Other Authors: Heyting, A. (Arend), 1898- (επιμελητής.)
• Format: Conference Proceeding Book
• Language: English
• Published: Amsterdam : North-Holland, 1959.
• Series: Studies in logic and the foundations of mathematics
• Subjects: Μεταμαθηματικά