Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings
Author(s)
Bibliographic Information
Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings
(Lecture notes in computer science, 713)
Springer-Verlag, c1993
- : us
- : gw
Available at / 60 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||71393039561
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:713931004210
-
No Libraries matched.
- Remove all filters.
Note
Sponsored by Kurt Gödel Society
Includes bibliographical references