Tools

LEADER 01285cam 2200337Ia 4500

001 ocm30442151;

003 OCoLC;

005 20141212113814.0;

008 940516s1993 gw b 000 0 eng d;

035 a| (Sirsi) o30442151;

035 a| (OCoLC)30442151;

040 a| SCGc| SCGd| EREd| UtOrBLW;

049 a| EREE;

090 a| QA9.A1b| L63 1990;

111 2 a| Logic Colloquiumd| (1990 :c| Helsinski, Finland)?| UNAUTHORIZED;

245 10 a| Logic Colloquium '90 :b| proceedings of the Colloquium held in Helsinki, Finland, July 15-22, 1990 /c| edited by J. Oikkonen and J. Vaananen.;

260 a| Berlin ;a| Heidelberg :b| Springer-Verlag,c| 1993.;

300 a| x, 375 pages ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in logic ;v| v. 2;

504 a| Includes bibliographical references.;

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

700 1 a| Oikkonen, J.?| UNAUTHORIZED;

700 1 a| Vaananen, J.?| UNAUTHORIZED;

830 0 a| Lecture notes in logic ;v| v. 2.=| ^A682719;

596 a| 1;

998 a| 558567;

999 a| QA9.A1 L63 1990w| LCc| 1i| 30372008443696d| 1/31/2013e| 3/13/1998l| JGESm| JOYNERn| 1p| $54.00q| 1r| Ys| Yt| JGESBKu| 4/14/1994x| BOOKz| JSTACKSo| .STAFF. 0;

Logic Colloquium '90 : proceedings of the Colloquium held in Helsinki, Finland, July 15-22, 1990 / edited by J. Oikkonen and J. Vaananen.

Author/creator	Logic Colloquium
Other author	Oikkonen, J.
Other author	Vaananen, J.
Format	Book
Publication Info	Berlin ; Heidelberg : Springer-Verlag, 1993.
Description	x, 375 pages ; 23 cm.
Subjects	Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in logic ; v. 2 Lecture notes in logic ; v. 2. ^A682719
Bibliography note	Includes bibliographical references.

Availability

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

Logic Colloquium '90 : proceedings of the Colloquium held in Helsinki, Finland, July 15-22, 1990 / edited by J. Oikkonen and J. Vaananen.

Click here for more information about this title

Availability