Set existence. Bulletin de l’Academie Polonaise des (1960)

by Robin O Gandy, Georg Kreisel, William W Tait
Venue:Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques