TY - BOOK
AU - International Colloquium Constructivity in Mathematics 1957 Amsterdam
AU - Heyting, Arend
TI - Constructivity in mathematics proceedings of the colloquium held at Amsterdam, 1957
PB - North-Holland Publ.
KW - Konferenzschrift
KW - Konstruktive Mathematik
PY - 1959
BT - Studies in logic and the foundations of mathematics ; 15
CY - Amsterdam
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation