Jump to main content

図書

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds. (Lecture notes in computer science)

Icons representing 図書

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

(Lecture notes in computer science)

Call No. (NDL)
M15-A9002
Bibliographic ID of National Diet Library
000003218232
Material type
図書
Author
Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic)ほか
Publisher
Springer-Verlag
Publication date
1993.
Material Format
Paper
Capacity, size, etc.
xi, 348 p. ; 24 cm.
NDC
-
View All

Notes on use

Note (General)：

Sponsored by Kurt Gödel Society.Includes bibliographical references.

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
0387571841
Title
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
Series Title
Lecture notes in computer science
Author Heading
Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic)
Gottlob, G. (Georg)
Leitsch, Alexander, 1952-
Mundici, Daniele, 1946-
Kurt Gödel Society.
Publication, Distribution, etc.
Berlin : Springer-Verlag
Tokyo : Springer-Verlag
Publication Date
1993.
Publication Date (W3CDTF)
1993
Extent
xi, 348 p. ; 24 cm.
Place of Publication (Country Code)
DE