Roll over image to zoom in

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (2 Reprint)

Name: First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (2 Reprint)
Brand: Springer Verlag
SKU: 00000_00000_00000_00000
Price: 181.28 SGD
Availability: InStock

Fitting, Melvin

181.28 SGD

Member Price

163.16

English

Quantity:

Product Description

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

... Read Full Text

Publisher

Springer Verlag

Publication Date

Nov 2013

ISBN

9781461275152

Pages

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00SGD

Your Cart

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (2 Reprint)

Product Description

Available to Order

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (2 Reprint)

Recently Viewed Items

Related Products