by Daniele Mundici (Author), Alexander Leitsch (Author), Georg Gottlob (Author), Alexander Leitsch (Author), Daniele Mundici (Author), Georg Gottlob (Author)
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.
Format: Paperback
Pages: 372
Edition: 1993
Publisher: Springer
Published: 13 Aug 1993
ISBN 10: 3540571841
ISBN 13: 9783540571841