Mechanical logic in three-dimensional space /

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 mecha...

Full description

Bibliographic Details

Main Author:	Auletta, Gennaro
Corporate Author:	Taylor & Francis
Format:	eBook
Language:	English
Published:	[Place of publication not identified] : Pan Stanford Publishing, ©2013.
Subjects:	Logic, Symbolic and mathematical. Calculus. Logique symbolique et mathématique. Calcul infinitésimal. calculus. MATHEMATICS > General. Calculus Logic, Symbolic and mathematical Electronic books.
Online Access:	Connect to the full text of this electronic book