Tools

LEADER 01677cam 2200409 a 4500

001 ocm28587323;

003 OCoLC;

005 20141212112734.0;

008 930719s1993 gw a b 100 0 eng ;

010 a| 93005923;

020 a| 0387571841;

035 a| (Sirsi) o28587323;

035 a| (OCoLC)28587323;

049 a| EREE;

050 00 a| QA76.9.A96b| K87 1993;

082 00 a| 511.32| 20;

111 2 a| Kurt Gödel Colloquiumn| (3rd :d| 1993 :c| Brno, Czech Republic)?| UNAUTHORIZED;

245 10 a| Computational logic and proof theory :b| Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 1993 : proceedings /c| Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.;

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

300 a| xi, 348 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

500 a| Sponsored by Kurt Gödel Society.;

504 a| Includes bibliographical references.;

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

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

700 1 a| Gottlob, G.q| (Georg)=| ^A269304;

700 1 a| Leitsch, Alexander,d| 1952-=| ^A347398;

700 1 a| Mundici, Daniele,d| 1946-=| ^A347399;

710 2 a| Kurt Gödel Society.=| ^A347400;

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

596 a| 1;

998 a| 548385;

999 a| QA76.9.A96 K87 1993w| LCc| 1i| 30372008339035d| 3/6/2013e| 8/2/1994f| 3/6/2013g| 1l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 7/12/1994x| BOOKz| JSTACKSo| .STAFF. 0;

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.

Author/creator	Kurt Gödel Colloquium
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, 1993.
Description	xi, 348 pages : illustrations ; 24 cm.
Subjects	Automatic theorem proving--Congresses. Logic, Symbolic and mathematical--Congresses.

Other author/creator	Gottlob, G. (Georg)
Other author/creator	Leitsch, Alexander, 1952-
Other author/creator	Mundici, Daniele, 1946-
Other author/creator	Kurt Gödel Society.
Series	Lecture notes in computer science ; 713 Lecture notes in computer science 713. ^A466336
General note	Sponsored by Kurt Gödel Society.
Bibliography note	Includes bibliographical references.
LCCN	93005923
ISBN	0387571841

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.A96 K87 1993	✔ Available	Place Hold

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.

Click here for more information about this title

Availability