A Computational Logic

0 avg rating
( 0 ratings by Goodreads )
 
9780121229504: A Computational Logic

Unlike most texts on logic and mathematics, this book is about how to prove theorems rather than proof of specific results. We give our answers to such questions as: - When should induction be used? - How does one invent an appropriate induction argument? - When should a definition be expanded?

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Boyer, Robert S., Moore, J. Strother
Published by Academic Press Inc (1980)
ISBN 10: 0121229505 ISBN 13: 9780121229504
New Hardcover Quantity Available: 2
Seller
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Academic Press Inc, 1980. Hardcover. Book Condition: New. Bookseller Inventory # P110121229505

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 56.08
Convert Currency

Add to Basket

Shipping: US$ 2.99
Within U.S.A.
Destination, Rates & Speeds

2.

Robert S. Boyer, J.Strother Moore
Published by Academic Press Inc (1980)
ISBN 10: 0121229505 ISBN 13: 9780121229504
New Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Academic Press Inc, 1980. Hardcover. Book Condition: New. Bookseller Inventory # DADAX0121229505

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 56.99
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

3.

Boyer, Robert S.; Moore, J. Strother
Published by Academic Press Inc (1980)
ISBN 10: 0121229505 ISBN 13: 9780121229504
New Hardcover Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Academic Press Inc, 1980. Hardcover. Book Condition: New. book. Bookseller Inventory # 121229505

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.77
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

4.

Robert S. Boyer; J. Strother Moore
Published by Academic Press Inc (1980)
ISBN 10: 0121229505 ISBN 13: 9780121229504
New Hardcover Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Academic Press Inc, 1980. Hardcover. Book Condition: New. book. Bookseller Inventory # 0121229505

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 63.77
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

5.

Boyer, Robert S.; Moore, J. Strother
Published by Academic Press Inc
ISBN 10: 0121229505 ISBN 13: 9780121229504
New Hardcover Quantity Available: 1
Seller
Cloud 9 Books
(Wellington, FL, U.S.A.)
Rating
[?]

Book Description Academic Press Inc. Hardcover. Book Condition: New. 0121229505 New Condition. Bookseller Inventory # NEW6.0039942

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 59.99
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds