Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science)

by Daniele Mundici (Author), Alexander Leitsch (Author), Georg Gottlob (Author), Daniele Mundici (Author), Alexander Leitsch (Author), Georg Gottlob (Author)

• New

  Paperback
  1993

  $63.48

  The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science.