ENGLISH

A Computational Logic

By Robert S. Boyer , J Strother Moore and Thomas A. Standish (Auth.)

Book information

Publisher
Academic Press Inc, Elsevier Inc
Year
1979
ISBN
978-0-12-122950-4, 0121229505
Language
english
Format
PDF
Filesize
19 MB (20342560 bytes)
Edition
1st
Pages
411\405
Time added
2014-08-05 10:00:00

Description

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?

Similar books