tania andrew

Dov M. Gabbay

Stand Alone

Interpolation and Definability: Modal and Intuitionistic Logics (Oxford Logic Guides Book 46)
Labelled Deductive Systems: v.1 (Oxford Logic Guides)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming)
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Handbook of Logic in Computer Science)
Handbook of Logic in Computer Science: Volume 3. Semantic Structures (Handbook of Logic in Computer Science)
Temporal Logic: Volume 1 (Oxford Logic Guides)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Handbook of Logic in Computer Science 5
Interpolation and Definability: Modal and Intuitionistic Logic (Oxford Logic Guides, 46)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Fibring Logics (Oxford Logic Guides, 38)
Fibring Logics

See All