Han Logic Comp Sci Vol 5 Hlcs C
This volume of the computer science series covers all major areas of application of logic to theoretical computer science. Topics include Martin-Loef's Type ... »

Philosophy Of Ecology
 »

Goal-Directed Proof Theory
 »

Neural-Symbolic Learning Systems
Neural-symbolic learning systems play a central role artificial intelligence, and this text provides an introduction to the field and an overview of the theo... »

The Rise of Modern Logic
From Leibniz To Frege »

Logic And The Modalities In The Twentieth Century
Handbook of the History of Logic »

Logic
The Laws of Truth »

Handbook of Philosophical Logic, Volume 5
v. 5 »

Handbook of Philosophical Logic
v. 2 »

Logic From Russell To Church
Handbook of the History of Logic »