The International Directory Of Logicians
Who's Who in Logic »

Interpolat Definability Olg 46 C
Modal And Intuitionistic Logics »

Handbook of Philosophical Logic
v. 4 »

Logic For Artificial Intelligence And Information Technology
 »

General Philosophy Of Science
General Philosophy of Science »

Labelled Deduction
 »

Handbook of Philosophical Logic
Handbook of Philosophical Logic. Vol.12 »

Handbook of Philosophical Logic, Volume 5
v. 5 »

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

Philosophy of Logic
Philosophy of Logic »