Computational Logic and Set Theory
Author:   Jacob Schwartz ,  Eugenio Omodeo ,  Domenico Cantone
Publisher:   Springer-Verlag New York Inc.
Edition:   2004. Corr. 2nd Printing ed.
ISBN:  

9780387407623


Pages:   370
Publication Date:   01 April 2007
Format:   Hardback
Availability:   Temporarily unavailable   Availability explained
The supplier advises that this item is temporarily unavailable. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out to you.

Our Price $184.67 Quantity:  
Add to Cart

Share |

Computational Logic and Set Theory


Add your own review!

Overview

An advanced, graduate-level text, surveying computational logic and set theory and its application to proof verification techniques. Book develops all needed theory and provides a CD-ROM with a proof-verifier program to demonstrate concepts. Advanced CS students and researches will find the book an essential presentation of the theoretical concepts of proof verification (i.e., proof checker) systems for large-scale software systems. Topics and features: *Describes in-depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics *Provides a verifier aimed at tackling large-scale proof scenarios *Integrates important proof-engineering issues, reflecting the goals of large-scale verifiers

Full Product Details

Author:   Jacob Schwartz ,  Eugenio Omodeo ,  Domenico Cantone
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   2004. Corr. 2nd Printing ed.
ISBN:  

9780387407623


ISBN 10:   0387407626
Pages:   370
Publication Date:   01 April 2007
Audience:   General/trade ,  General
Format:   Hardback
Publisher's Status:   Active
Availability:   Temporarily unavailable   Availability explained
The supplier advises that this item is temporarily unavailable. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out to you.

Table of Contents

* Introduction * Propositional and predicate-calculus preliminaries * More on the structure of the verifier system * Undecidability and unsolvability * Appendix: A student's encyclopedia of mathematical analysis

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now