Tools

LEADER 01455cam 22003618i 4500

001 ocm03017134;

005 20141211214223.0;

008 770517s1977 ne 100 0 engm ;

010 a| 77008943;

020 a| 0720406919;

035 a| (Sirsi) o03017134;

035 a| (OCoLC)3017134;

049 a| ERE*;

050 00 a| QA9.A1b| L63 1976;

082 0 a| 511/.3;

111 2 a| Logic Colloquiumd| (1976 :c| Oxford)?| UNAUTHORIZED;

245 10 a| Logic Colloquium 76 :b| proceedings of a conference held in Oxford in July 1976 /c| edited by R. O. Gandy, J. M. E. Hyland.;

300 a| ix, 612 pages :b| illustrations ;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 ;v| v. 87;

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

700 1 a| Gandy, R. O.?| UNAUTHORIZED;

700 1 a| Hyland, John Martin Elliott.?| UNAUTHORIZED;

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

872 29 j| 111/1a| Logic Colloquium,c| Oxford,d| 1976.;

919 a| BOOK;

596 a| 1;

998 a| 118987;

999 a| QA9.A1 L63 1976w| LCc| 1i| 310372001429297d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 5/9/1986x| BOOKz| JSTACKSo| .STAFF. 0;

Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976 / edited by R. O. Gandy, J. M. E. Hyland.

Author/creator	Logic Colloquium
Other author	Gandy, R. O.
Other author	Hyland, John Martin Elliott.
Format	Book
Publication Info	Amsterdam : North-Holland Pub. Co. ; New York : Sole distributors for U.S.A., Elsevier North-Holland, 1977.
Description	ix, 612 pages : illustrations ; 23 cm.
Subjects	Logic, Symbolic and mathematical--Congresses.

Series	Studies in logic and the foundations of mathematics ; v. 87 Studies in logic and the foundations of mathematics v. 87. ^A16526
LCCN	77008943
ISBN	0720406919

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.A1 L63 1976	✔ Available	Place Hold

Click here for more information about this title