|
Books > Science & Mathematics > Mathematics > Philosophy of mathematics
|
Buy Now
Computational Logic and Proof Theory - Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Paperback, 1993 ed.)
Loot Price: R1,660
Discovery Miles 16 600
|
|
|
Computational Logic and Proof Theory - Third Kurt Goedel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Paperback, 1993 ed.)
Series: Lecture Notes in Computer Science, 713
Expected to ship within 10 - 15 working days
|
The Third Kurt G-del Symposium, KGC'93, held in Brno, Czech
Republic, August1993, is the third in a series of biennial symposia
on logic, theoretical computer science, and philosophy of
mathematics. The aim of this meeting wasto 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 foundin computer science. In both disciplines methods were
invented which arecrucial 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
