Classical extensions of intuitionistic mathematics [one chapter from the book only]
S. C. KleeneAnnée:
1965
Editeur::
North-Holland
Langue:
english
Pages:
14
Collection:
Logic, Methodology and Philosophy of Science
Fichier:
PDF, 9.47 MB
IPFS:
,
english, 1965