Tools

LEADER 01510cam a2200385 a 4500

001 ocm21038138;

005 20141212081406.0;

008 900116s1990 wb b 100 0 eng ;

010 a| 90009465;

020 a| 3540523359 (Berlin);

020 a| 0387523359 (New York);

035 a| (Sirsi) o21038138;

035 a| (OCoLC)21038138;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.M35b| I57 1988;

082 00 a| 004/.01/51132| 20;

111 2 a| International Conference on Computer Logicd| (1988 :c| Tallinn, Estonia)=| ^A260806;

245 10 a| COLOG-88 :b| International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings /c| P. Martin-Löf, G. Mints, eds.;

300 a| vi, 338 pages ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 417;

504 a| Includes bibliographical references.;

650 0 a| Computer sciencex| Mathematicsv| Congresses.=| ^A248247;

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

700 1 a| Martin-Löf, Per,d| 1942-=| ^A260807;

700 1 a| Mint͡s, G. E.=| ^A260808;

830 0 a| Lecture notes in computer sciencev| 417.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 372191;

999 a| QA76.9.M35 I57 1988w| LCc| 1i| 30372005648669d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 1/23/1991x| BOOKz| JSTACKSo| .STAFF. 0;

COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints, eds.

Author/creator	International Conference on Computer Logic
Other author	Martin-Löf, Per, 1942-
Other author	Mint͡s, G. E.
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1990.
Description	vi, 338 pages ; 25 cm.
Subjects	Computer science--Mathematics. --Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Lecture notes in computer science ; 417 Lecture notes in computer science 417. ^A466336
Bibliography note	Includes bibliographical references.
LCCN	90009465
ISBN	3540523359 (Berlin)
ISBN	0387523359 (New York)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.M35 I57 1988	✔ Available	Place Hold

COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints, eds.

Click here for more information about this title

Availability