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
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Format PDF ● Strony 400 ● ISBN 9789814411516 ● Wydawca Pan Stanford Publishing ● Opublikowany 2016 ● Do pobrania 6 czasy ● Waluta EUR ● ID 2829376 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM