Tools

LEADER 01694cam 2200397 a 4500

001 ocm10430095;

005 20141212070844.0;

008 840127s1984 ne a b 100 0 eng ;

010 a| 84001630;

020 a| 0444868763 (U.S.);

035 a| (Sirsi) o10430095;

035 a| (OCoLC)12506701;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREEa| EREE;

050 00 a| QA9.7b| .L64 1982;

082 0 a| 511/.82| 19;

111 2 a| Logic Colloquiumd| (1982 :c| Florence, Italy)?| UNAUTHORIZED;

245 10 a| Logic Colloquium '82 :b| proceedings of the colloquium held in Florence, 23-28 August, 1982 /c| edited by G. Lolli, G. Longo, and A. Marcja.;

300 a| viii, 358 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. 112;

504 a| Includes bibliographies.;

650 0 a| Model theoryv| Congresses.=| ^A21581;

650 0 a| Categories (Mathematics)v| Congresses.=| ^A990600;

650 0 a| Lambda calculusv| Congresses.=| ^A173635;

700 1 a| Lolli, Gabriele,d| 1942-=| ^A184102;

700 1 a| Longo, G.q| (Giuseppe)=| ^A275455;

700 1 a| Marcja, A.q| (Annalisa)=| ^A184103;

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

919 a| BOOK;

596 a| 1;

998 a| 253252;

999 a| QA9.7 .L64 1982w| LCc| 1i| 30372003437958d| 9/23/2020f| 2/1/2013g| 1l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 2/7/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja.

Author/creator	Logic Colloquium
Other author	Lolli, Gabriele, 1942-
Other author	Longo, G. (Giuseppe)
Other author	Marcja, A. (Annalisa)
Format	Book
Publication Info	Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
Description	viii, 358 pages : illustrations ; 23 cm.
Subjects	Model theory--Congresses. Categories (Mathematics)--Congresses. Lambda calculus--Congresses.

Series	Studies in logic and the foundations of mathematics ; v. 112 Studies in logic and the foundations of mathematics v. 112. ^A16526
Bibliography note	Includes bibliographies.
LCCN	84001630
ISBN	0444868763 (U.S.)

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja.

Click here for more information about this title