Gennaro (University of Cassino, Italy) Auletta 
Mechanical Logic in Three-Dimensional Space [PDF ebook] 

Support

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

€148.00
payment methods
Buy this ebook and get 1 more FREE!
Format PDF ● Pages 400 ● ISBN 9789814411516 ● Publisher Pan Stanford Publishing ● Published 2016 ● Downloadable 6 times ● Currency EUR ● ID 2829376 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

49,474 Ebooks in this category