Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)
(Lecture notes in mathematics ; 344)
| Publisher | Berlin : Springer |
|---|---|
| Year | 1973 |
| Authors | *Troelstra, A. S. (Anne Sjerp) |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| Library Restricted Access Stacks | : u.s. | SAe:21:344 | 128006206P |
|
|
|
|
Hide details.
| Material Type | Books |
|---|---|
| Size | xvii, 486 p. : ill. ; 24 cm |
| Notes | Bibliography: p. [462]-475 |
| Subjects | LCSH:Intuitionistic mathematics LCSH:Proof theory LCSH:Model theory |
| Classification | LCC:QA3 LCC:QA9.47 DC:510/.8 s DC:511/.3 |
| Language | English |
| ID | 0000258905 |
| ISBN | 0387064915 |
| NCID |
BA06811112 
|
Similar Items
Usage statistics of this contents
Number of accesses to this page：2times