Chargement en cours…
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...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Boca Raton, FL :
CRC Press,
2013.
|
| Sujets: | |
| Accès en ligne: | Texto completo (Requiere registro previo con correo institucional) |