Tools

LEADER 01553cam a2200409 4500

001 ocm00858277;

005 20141212114521.0;

008 740308s1973 wb a b 001 0 engm ;

010 a| 73014239;

015 a| GFR73-A;

020 a| 0387064915 (New York);

035 a| (Sirsi) o00858277;

035 a| (OCoLC)858277;

037 c| DM34.00;

049 a| ERE*;

050 00 a| QA3b| .L28 no. 344;

082 0 a| 510/.8 sa| 511/.3;

100 1 a| Troelstra, A. S.q| (Anne Sjerp)=| ^A18446;

245 10 a| Metamathematical investigation of intuitionistic arithmetic and analysis /c| [by] A. S. Troelstra (ed.).;

300 a| xvii, 485 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in mathematics, 344;

504 a| Bibliography: p. [462]-475.;

650 0 a| Intuitionistic mathematics.=| ^A18447;

650 0 a| Proof theory.=| ^A27801;

650 0 a| Model theory.=| ^A21581;

830 0 a| Lecture notes in mathematics (Springer-Verlag)v| 344.=| ^A496146;

870 19 j| 100/1a| Troelstra, Anne Sjerp.;

919 a| BOOK;

590 a| Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG), SEARCH BY CALL NUMBER QA3 .L28.;

596 a| 1;

998 a| 56540;

999 a| QA3 .L28 NO. 344w| LCc| 1i| 310372000619954d| 12/7/2012f| 12/7/2012g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/1/1986x| BOOKz| JSTACKSo| .STAFF. 0;

Metamathematical investigation of intuitionistic arithmetic and analysis / [by] A. S. Troelstra (ed.).

Author/creator	Troelstra, A. S.
Format	Book
Publication Info	Berlin, Heidelberg, New York : Springer, 1973.
Description	xvii, 485 pages : illustrations ; 24 cm.
Subjects	Intuitionistic mathematics. Proof theory. Model theory.

Series	Lecture notes in mathematics, 344 Lecture notes in mathematics (Springer-Verlag) 344. ^A496146
Local note	Joyner-FOR JOYNER LIBRARY HOLDINGS OF THE SERIES, LECTURE NOTES IN MATHEMATICS (SPRINGER-VERLAG), SEARCH BY CALL NUMBER QA3 .L28.
Bibliography note	Bibliography: p. [462]-475.
LCCN	73014239
ISBN	0387064915 (New York)
Stock number	DM34.00

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA3 .L28 NO. 344	✔ Available	Place Hold

Metamathematical investigation of intuitionistic arithmetic and analysis / [by] A. S. Troelstra (ed.).

Click here for more information about this title

Availability