ملخص: The Third Kurt Godel Symposium, KGC'93, held in Brno, Czech Republic, August 1993, is the third in a series of biennial symposia on logic, theoretical computer science, and philosophy of mathematics. The aim of this meeting was to bring together researchers working in the fields of computational logic and proof theory. While proof theory traditionally is a discipline of mathematical logic, the central activity in computational logic can be found in computer science. In both disciplines methods were invented which are crucial to one another. This volume contains the proceedings of the symposium. It contains contributions by 36 authors from 10 different countries. In addition to 10 invited papers there are 26 contributed papers selected from over 50 submissions.

طبعة: Heidelberg,New York: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: xi, 348 p. ill. ;24 cm
ISBN: 3540571841
الفهرس العشري 510 .الرياضيات
الموضوع الرياضيات

الكلمات الدالة:
Logique mathématique :Actes de congrès
Théorèmes : Démonstration automatique :Actes de congrès
Théorie de la démonstration :Actes de congrès