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

• Συγγραφή απο Οργανισμό/Αρχή: International Colloquium "Constructivity in Mathematics" Amsterdam, Netherlands
• Άλλοι συγγραφείς: Heyting, A. (Arend), 1898- (επιμελητής.)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam : North-Holland, 1959.
• Σειρά: Studies in logic and the foundations of mathematics
• Θέματα: Μεταμαθηματικά