Tools

LEADER 01357cam 2200385 4500

001 ocm00163941;

005 20141212001612.0;

008 710916s1971 wb b 000 0 eng ;

010 a| 78169705;

015 a| GDB***;

020 a| 354005541X;

035 a| (Sirsi) o00163941;

035 a| (OCoLC)163941;

037 c| DM24.00;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| ERE*;

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

082 0 a| 511/.3;

100 1 a| Scarpellini, Bruno.=| ^A27800;

245 10 a| Proof theory and intuitionistic systems.;

260 a| Berlin,a| New York :b| Springer-Verlag,c| 1971.;

300 a| vii, 290 pages, 1 unnumbered page ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in mathematics,v| 212;

504 a| Bibliography: p. [291];

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

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

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

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| 13372;

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

Proof theory and intuitionistic systems.

Author/creator	Scarpellini, Bruno
Format	Book
Publication Info	Berlin, New York : Springer-Verlag, 1971.
Description	vii, 290 pages, 1 unnumbered page ; 26 cm.
Subjects	Intuitionistic mathematics. Proof theory.

Series	Lecture notes in mathematics, 212 Lecture notes in mathematics (Springer-Verlag) 212. ^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. [291]
LCCN	78169705
ISBN	354005541X
Stock number	DM24.00

Proof theory and intuitionistic systems.

Click here for more information about this title