Handbook of Philisophical Logic, Volume 8
V. 8 »

Temporal Logic Vol 2 Olg 40 C
Mathematical Foundations and Computational Aspects »

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

Interpolat Definability Olg 46 C
Modal And Intuitionistic Logics »

Philosophy Of Complex Systems
Philosophy of Complex Systems »

Labelled Deduction
 »

Philosophy of Anthropology and Sociology
A Volume in the Handbook of the Philosophy of Science Series »

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

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