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...

The book describes the industrial revolution associated with the implementation of electric power generation by photovoltaics (PV). The book’s editor and contributing authors are among the leading pioneers in PV from its industrial birth in 1954 all the way up to the stormy developments during the first decade of the new century. The...