Description: This book shows how TIL lends itself to a broad range of applications. It comprises logical analysis of natural language, artificial-intelligence methods of knowledge representation, multi-agent systems in computer science, philosophy of mathematics, and more.
Review Quotes:
From the reviews:
"The text describes the origins and notations of a new symbolic system of variables and derives completed thoughts likely to be important to future research in Logic. The book is a welcome addition to any student's logic library and or reading list at both graduate/undergraduate levels." (Joseph J. Grenier, Amazon.com, November, 2013)