Handbook of Philisophical Logic, Volume 8
V. 8 »

Sets And Extensions In The Twentieth Century
Sets and Extensions in the Twentieth Century »

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

Labelled Deduction
 »

Logic For Artificial Intelligence And Information Technology
 »

Tempor Log:math Found V1 Olg 28 C
Mathematical Foundations And Computational Aspects »

Philosophy Of Technology And Engineering Sciences
Addresses numerous issues in the field of the philosophy of those »

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 Logic
Philosophy of Logic »

Conditionals And Modularity In General Logics
 »