Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997,... |
|
Buy Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997,... here, one of many Kurt Godel books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.
|
You Are Here: Home > Mathematics Books > Kurt Godel > Item 133
|
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997,...
|
(Paperback - Sept. 19, 1997)
by Georg Gottlob, Alexander Leitsch, and Daniele Mundici
Sales Rank: 6712293
|
$79.95
At Amazon
on 3-17-2010.
|
|
|
|
Features
- Cover Type: Paperback with 348 pages
- Published by: Springer
- Edition: 1st Edition September 19, 1997
- Written in: English
- ISBN 10 Number: 3540633855
- ISBN 13 Number: 978-3540633853
-
Book Dimensions:
9.2 x 6 x 0.7 inches
- Weighs: 1 pounds
Product Description
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents twenty revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
Back To Top
|
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997,...
Available from Amazon
Price: $79.95
Updated on 3-17-2010.
|
|
Search for books at
