Scan barcode
400 pages • missing pub info (editions)
ISBN/UID: 9789814411509
Format: Hardcover
Language: English
Publisher: Jenny Stanford Publishing
Publication date: 24 October 2013
Description
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 log...
Community Reviews
Content Warnings
400 pages • missing pub info (editions)
ISBN/UID: 9789814411509
Format: Hardcover
Language: English
Publisher: Jenny Stanford Publishing
Publication date: 24 October 2013
Description
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 log...
Community Reviews
Content Warnings