Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

By Evert Willem Beth

Book Overview

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 the distribution of this capacity, or at any... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 9027700699
• ISBN13: 9789027700698
• Release Date: July 1970
• Publisher: Springer
• Length: 170 Pages
• Weight: 0.97 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"