Faithin Omaha eBook Collection

Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantia

This book offers a detailed defense of a metaphysics of Platonic universals and a conception of particular objects that is coherent with said metaphysics. The w

Instantiation is a collection of 11 stories by the Hugo award winning author Greg Egan: “The Discrete Charm of the Turing Machine” “Zero For Conduct” �

This book is based on the results of research in language typology, and motivated by the need for a theory to explain them. The essence of the approach is (a) t