This book provides quick access to quantum mechanics without dealing with a true textbook that demands proper specialized studies in physics (and related mathematics) for about a couple of years. It consists of three parts: basic formalism, formal development, and ontological issues. The 70 figures...
Published June 20th 2014 by Pan Stanford
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...
Published October 24th 2013 by Pan Stanford