Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Bibliographic Information

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)

(Lecture notes in computer science, 713)

Springer-Verlag, c1993

  • : us
  • : gw

Available at  / 60 libraries

Search this Book/Journal

Note

Sponsored by Kurt Gödel Society

Includes bibliographical references

Related Books: 1-1 of 1

Details

Page Top