Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 / edited by A. Heyting,...

Date : 1959

Type : Livre / Book

Langue / Language : anglais / English

Langue / Language : allemand / German

Langue / Language : français / French

Mathématiques constructives

Classification Dewey : 511.3

Heyting, Arend (1898-1980) (Directeur de publication / publishing director)

International Colloquium Constructivity in Mathematics (1957 ; Amsterdam, NL) (Auteur / author)

Collection : Studies in logic and the foundations of mathematics / Amsterdam : North-Holland , 1951-