Metamathematical investigation of intuitionistic arithmetic and analysis
Enregistré dans:
Autres auteurs : | |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Metamathematical investigation of intuitionistic arithmetic and analysis / A. S. Troelstra (editor),... |
Publié : |
Berlin, Heidelberg, New York :
Springer
, 1973, cop. 1973 |
Description matérielle : | 1 vol. (XVII-485 p.) |
Collection : | Lecture notes in mathematics ; 344 |
Sujets : |
Bibliographie : | Bibliogr. p. [462]-475. Index |
---|---|
ISBN : | 0-387-06491-5 3-540-06491-5 |