Download or read book Mechanical Logic in Three-Dimensional Space written by Gennaro Auletta and published by CRC Press. This book was released on 2016-04-19 with total page 396 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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