
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic...
- List Price: $169.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: -0001
- Edition: 6th
- Publisher: Longman
- Type: Paperback
- ISBN13: 9780205668564
- ISBN: 0205668569

- 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