Computational Logic and Proof Theory: Third Kurt G?del Colloquium, KGC'93, Brno,
67,47 €
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.
Jetzt bei Ebay:
