Mechanical Logic in Three-Dimensional Space

Gennaro Auletta

Informasi Umum

Kode

23.21.2532

Klasifikasi

006.693 - Three Dimensional Graphics

Jenis

Buku - Elektronik (E-Book)

Subjek

Three-dimensional Graphics, Mechanical Engineering,

No. Rak

Dilihat

152 kali

Informasi Lainnya

Abstraksi

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