Computational Logic
by Ulrich Berger (Editor)U. Martin (Contribution by)J. Meseguer (Contribution by)Helmut Schwichtenberg (Editor)J. Girard (Contribution by)D. Miller (Contribution by)S. R. Buss (Contribution by)S. S. Wainer (Contribution by)P. Aczel (Contribution by)H. Barendregt (Contribution by)R. L. Constable (Contribution by)
Format: Hardcover
ISBN13: 9783540645894
Hardcover|9783540645894
✨ Featured Offer
Brand New
$113.70
List Price: $169.99
🚚
See all 4 offers from $113.70 FREE standard delivery by: 30 Mar 2026
Overview
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).
Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).
| ISBN-13 | 9783540645894 |
|---|---|
| ISBN-10 | 3540645896 |
| Weight | 3.99 Pounds |
| Dimensions | 6.14 x 1.00 x 9.21 In |
| List Price | $169.99 |
| Edition | 1st Edition |
| Format | Hardcover |
|---|---|
| Language | English |
| Pages | ix, 448 pages |
| Publisher | Springer |
| Published On | 1999-04-14 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
discount_scientific_books
Sterling Heights, MI, USA
New Book Original US edition, We Ship to PO BOX Address also.
Free delivery by: 30 Mar 2026
Brand New
Seller details
Alibris
Sparks, NV, USA
Sewn binding. Cloth over boards. 448 p. NATO Asi Subseries F:, 165.
Free delivery by: 30 Mar 2026
Used, Like New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 30 Mar 2026
Brand New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 30 Mar 2026