Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Computational Logic by Ulrich Berger (English) Hardcover Book
US $191.48
Approximately£141.73
Condition:
New
A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller's listing for full details.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Postage:
Free Economy Shipping.
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Thu, 7 Aug and Thu, 14 Aug to 94104
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Payments:
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:395159225516
Item specifics
- Condition
- ISBN-13
- 9783540645894
- Book Title
- Computational Logic
- ISBN
- 9783540645894
About this product
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540645896
ISBN-13
9783540645894
eBay Product ID (ePID)
685155
Product Key Features
Number of Pages
IX, 448 Pages
Publication Name
Computational Logic
Language
English
Publication Year
1999
Subject
Systems Architecture / General, Hardware / General, Computer Science, Logic
Type
Textbook
Subject Area
Mathematics, Computers
Series
NATO Asi Subseries F: Ser.
Format
Hardcover
Dimensions
Item Weight
63.8 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
99-013850
Series Volume Number
165
Number of Volumes
1 vol.
Illustrated
Yes
Table Of Content
Game Semantics.- Notes on the Simply Typed Lambda Calculus.- Problems in Type Theory.- Formal Correctness Proofs of Functional Programs: Dijkstra's Algorithm, a Case Study.- Propositional Proof Complexity - An Introduction.- Formalizing Decidability Theorems About Automata.- On the Meaning of Logical Rules I: Syntax Versus Semantics.- Complexity of Primitive Recursion.- Computers, Reasoning and Mathematical Practice.- Research Directions in Rewriting Logic.- Sequent Calculus and the Specification of Computation.
Synopsis
Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997, 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).
LC Classification Number
QA75.5-76.95
Item description from the seller
Seller business information
About this seller
grandeagleretail
98.3% positive Feedback•2.8M items sold
Registered as a business seller
Seller Feedback (1,054,254)
- w***i (871)- Feedback left by buyer.Past monthVerified purchaseAbsolutely Wonderful Seller!! Terrific Item As Described!!! Great Service and Communication!! Shipped In Waterproof Packaging!! I Received Item In About One Week!! Very Pleased With Seller! I Will Buy From This Seller Again!!
- r***r (2961)- Feedback left by buyer.Past 6 monthsVerified purchaseBook arrived today, 2 days before deadline given by the seller. Well-packaged & in good condition. Price was very competitive, & the book was accurately listed. Great communication. I appreciate the seller getting back to me when I was having trouble tracking the book's delivery progress. Apparently there were 2 different tracking numbers - one in Canada & the other in the U.S., since it was initially shipped from Canada. Thank you very much for your quick response & helpful information.Rethinking Investing: A Very Short Guide to Very Long-Term Investing by Charles (#396183075510)
- e***_ (15)- Feedback left by buyer.Past 6 monthsVerified purchaseSeller handles a massive inventory so I give them grace on the slow processing and shipping. They were very communicative and prompt with their response when I messaged in asking about it. Book was in good condition as described. Small ding on the page edges which wasn't mentioned, but that's fairly common even at your typical book store. Still a good value and I'd buy from them again.
More to explore:
- Logic Non-Fiction Hardcover Books,
- Hardcovers Books in English,
- Logic Adult Learning & University Books in English,
- It Fiction Hardcover Books in English,
- Hamlyn Hardcover Books in English,
- Fiction Hardcover Books in English,
- Heron Books Hardcover Fiction Books in English,
- Suzanne Collins Hardcover Books in English,
- HarperCollins Fiction Hardcover Books in English,
- Non-Fiction Hardcover Books in English
Seller Feedback (1,054,254)
- w***i (871)- Feedback left by buyer.Past monthVerified purchaseAbsolutely Wonderful Seller!! Terrific Item As Described!!! Great Service and Communication!! Shipped In Waterproof Packaging!! I Received Item In About One Week!! Very Pleased With Seller! I Will Buy From This Seller Again!!
- r***r (2961)- Feedback left by buyer.Past 6 monthsVerified purchaseBook arrived today, 2 days before deadline given by the seller. Well-packaged & in good condition. Price was very competitive, & the book was accurately listed. Great communication. I appreciate the seller getting back to me when I was having trouble tracking the book's delivery progress. Apparently there were 2 different tracking numbers - one in Canada & the other in the U.S., since it was initially shipped from Canada. Thank you very much for your quick response & helpful information.Rethinking Investing: A Very Short Guide to Very Long-Term Investing by Charles (#396183075510)
- e***_ (15)- Feedback left by buyer.Past 6 monthsVerified purchaseSeller handles a massive inventory so I give them grace on the slow processing and shipping. They were very communicative and prompt with their response when I messaged in asking about it. Book was in good condition as described. Small ding on the page edges which wasn't mentioned, but that's fairly common even at your typical book store. Still a good value and I'd buy from them again.