Code: 06705312
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 o ... more
English
160.43 €
RRP: 160.45 €
You save 0.02 €
Availability:
50/50
We think title might be available. Upon your order we will do our best to get it within 6 weeks.
Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.
You get 388 loyalty points
Book synopsis
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 inferences. Meriological inferences can also be easily treated in this way. The book covers the following subjects: structural description of space; three-variable inferences through products, sums, subtractions, and divisions; generalization to n variables; relations; and applications.
Book details
Book category Books in English Technology, engineering, agriculture Electronics & communications engineering Electronics engineering
160.43 €
English
Collection points Bratislava a 12880 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25764 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)Shopping cart ( Empty )