Tools

LEADER 01522cam 2200385 4500

001 ocm00103466;

005 20141212083037.0;

008 701102s1970 ne b 100 0 eng ;

010 a| 77097196;

015 a| Ne70-33;

035 a| (Sirsi) o00103466;

035 a| (OCoLC)103466;

037 c| 100.00;

049 a| EREE;

050 00 a| QA9b| .C742 1968;

111 2 a| Conference on Intuitionism and Proof Theoryd| (1968 :c| State University of New York at Buffalo)=| ^A270754;

245 10 a| Intuitionism and proof theory. :b| Proceedings of the summer conference at Buffalo, N.Y., 1968 /c| Edited by A. Kino, J. Myhill and R. E. Vesley.;

260 a| Amsterdam :b| North-Holland Pub. Co.,c| 1970.;

300 a| viii, 516 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Studies in logic and the foundations of mathematics;

504 a| Includes bibliographies.;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Kino, A.=| ^A270755;

700 1 a| Myhill, John.?| UNAUTHORIZED;

700 1 a| Vesley, Richard Eugene,d| 1932-=| ^A270263;

710 2 a| State University College at Buffalo.=| ^A71295;

830 0 a| Studies in logic and the foundations of mathematics.=| ^A16526;

919 a| BOOK;

596 a| 1;

998 a| 389333;

999 a| QA9 .C742 1968w| LCc| 1i| 30372005874745d| 7/22/2020e| 1/13/2020l| JGESm| JOYNERn| 1q| 1r| Ys| Yt| JGESBKu| 7/11/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968 / Edited by A. Kino, J. Myhill and R. E. Vesley.

Author/creator	Conference on Intuitionism and Proof Theory
Format	Book
Publication Info	Amsterdam : North-Holland Pub. Co., 1970.
Description	viii, 516 pages ; 23 cm.
Subjects	Logic, Symbolic and mathematical--Congresses.

Other author/creator	Kino, A.
Other author/creator	Myhill, John.
Other author/creator	Vesley, Richard Eugene, 1932-
Other author/creator	State University College at Buffalo.
Series	Studies in logic and the foundations of mathematics Studies in logic and the foundations of mathematics. ^A16526
Bibliography note	Includes bibliographies.
LCCN	77097196
Stock number	100.00

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968 / Edited by A. Kino, J. Myhill and R. E. Vesley.

Click here for more information about this title