Metamathematical investigation of intuitionistic arithmetic and analysis /
Saved in:
Author / Creator: | Troelstra, A. S. (Anne Sjerp) |
---|---|
Imprint: | Berlin ; New York : Springer, 1973. |
Description: | 1 online resource (xvii, 486 pages) : illustrations. |
Language: | English |
Series: | Lecture notes in mathematics, 0075-8434 ; 344 Lecture notes in mathematics (Springer-Verlag) ; 344. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11070853 |