Metamathematical investigation of intuitionistic arithmetic and analysis / [by] A.S. Troelstra (ed.).
| Title | Metamathematical investigation of intuitionistic arithmetic and analysis / [by] A.S. Troelstra (ed.). |
|---|---|
| Publication Date: | 1973 |
| Publication Place | Berlin ; New York - Springer, 1973. |
| Subject | Intuitionistic mathematics, Proof theory, Model theory |
| Type | Book |
| Language | Arabic |
| Digital | No |
| Manuscript | No |
| Pages Count | 486 |
| Physical Dimensions | 24 cm |
| Library: | The Institute for Advanced Study (IAS) |
| Record ID | 3100001~!101185~!4079 |
| Library Location | Math-NS Periodicals |
| Date | 1973 |
| Notes | Bibliography: p. [462]-475.. xvii, 486 p. : ill. ; 24 cm.. SHELVED WITH PERIODICALS UNDER: Lecture notes in mathematics. v.344 |
| ISBN | 0387064915 (New York), 9780387064918 (New York) |
| Seri | Lecture notes in mathematics (Springer-Verlag) 344. |
