Your search returned 7 results.

Sort
Results
Hand bok of logic in artificial intelligence and logic programming Deduction methodologies vol 2 / by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Oxford Univeristy Press , 1994
Availability: Items available for loan: Kerala University Library (1)Call number: D65143:(R1) N4.
Investigations in modal and tense logic with applications to problems in Philosophy and Linguistics by
Material type: Text Text
Availability: Items available for loan: Dept. of Linguistics (1)Call number: 410 GAB.
Mathematical problems from applied logic 1 Dov M Gabbay et al. by Series:
Edition:
Material type: Text Text
Publication details: Springer Science Business Media,Inc 2006
Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 511.3 GAB-M.
Interpolation and definability: Model and intuitionistic logic Dov M Gabbay and Maksimove by Series:
Edition:
Material type: Text Text
Publication details: Clarendon Press, Oxford 2005
Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 511.322 GAB-I.
Handbook of the history of logic by
Material type: Text Text
Publication details: Amsterdam : Elsevier Publishing, 2006
Availability: Items available for loan: Dept. of Mathematics (1)Call number: R 511.3 GAB-H. Dept. of Statistics (1)Call number: 160.9 GAB.
Handbook of the history of logic / by Dov M Gabbay and John Woods by
Material type: Text Text
Publication details: Amsterdam : Elsevier Publishing, 2006
Availability: No items available.
Agenda Relevance: A Study in Formal Pragmatics Woods, John by Series: A Practical Logic of Cognitive Systems
Material type: Text Text
Publication details: Amsterdam: Elsevier, 2003
Availability: Items available for loan: Dept. of Linguistics (1)Call number: 401.9 GAB.
Pages