Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic (Synthese Library, 4)
- List Price: $109.99
- ISBN-10: 9027700699
- ISBN-13: 9789027700698
- Edition: 1962nd
- Type: Hardcover
- Publisher: Springer
About The Book
Many philosophers have considered logical reasoning as an inborn ability of mankind and as a distinctive feature in the human mind; but we all know that... Read more
Related Books
- Year: 2003
- Edition: 2nd
- Publisher: Pearson
- Type: Paperback
- ISBN13: 9780131148482
- ISBN: 0131148486
$1473
Computability and Logic
- Year: 1989
- Edition: 3rd
- Publisher: Cambridge University Press
- Type: Paperback
- ISBN13: 9780521389235
- ISBN: 0521389232
$2363
Logic for Philosophy
- Year: 2003
- Edition: Illustrated
- Publisher: Oxford University Press
- Type: Paperback
- ISBN13: 9780199575589
- ISBN: 0199575584