Handbook of Philisophical Logic, Volume 8
V. 8 »

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 Linguistics
 »

The Textual Inference Rules Klal Uprat.
 »

The Many Valued And Non-Monotonic Turn In Logic
The Many Valued and Non-monotonic Turn in Logic »

Labelled Deduction
 »

The Many Valued and Nonmonotonic Turn in Logic, Volume 8
 »

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

Handbook of Philosophical Logic
v. 2 »

Philosophy Of Complex Systems
Philosophy of Complex Systems »