Date : 1956
Editeur / Publisher : Amsterdam : North-Holland Publ. , 1956, cop. 1956
Type : Livre / Book
Langue / Language : anglais / English
Mathématiques intuitionnistes
Collection : Studies in logic and the foundations of mathematics / Amsterdam : North-Holland , 1951-