Mechanical Logic in Three-Dimensional Space
Price for Eshop: 3754 Kč (€ 150.2)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
The book explores how build a mechanical inferences by making use of arithmetic operations on a string of numbers representing statements. In this way logic is reduced to a branch of the combinatory calculus. It covers the field of traditional logic by showing that any kind of inference can be mechanically reduced to three-variables and two-premise
Ask question
You can ask us about this book and we'll send an answer to your e-mail.