Books listed by ISBN

D.M. Gabbay

title	ISBN-13	year of publica- tion	other author(s)
A New Approach to Quantum Logic	978-1-904987-53-6	2007	K. Engesser · D. Lehmann
Handbook of Logic in Computer Science: Semantic Structures Vol 3	978-0-19-853762-5	1995	Samson Abramsky · T.S.E. Maibaum
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures: Background - Computational Structures Vol 2	978-0-19-853761-8	1993	Samson Abramsky · T. S. Maibaum
Handbook of Paraconsistency	978-1-904987-73-4	2007	J. Y. Beziau · W. Carnielli
Handbook of Philosophical Logic, Second Edition, Volume 1	978-0-7923-7018-5	2001	F. Guenthner
Handbook of Philosophical Logic: Volume 2	978-0-7923-7126-7	2001	"
Handbook of Philosophical Logic: Volume 6	978-1-4020-0583-1	2002	"
Handbook of Philosophical Logic: Volume 12	978-1-4020-3091-8	2005	Franz Guenthner
Handbook of Philosophical Logic: Volume 13	978-1-4020-3520-3	2005	"
Handbook of Philosophical Logic: Volume 14	978-1-4020-6323-7	2007
Handbook of the History of Logic	978-0-444-51610-7	2007	J Woods
Logic for Artificial Intelligence and Information Technology	978-1-904987-39-0	2007
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications	978-1-904987-56-7	2008	R. Schmidt · A. Szalas
What Is a Logical System?	978-0-19-853859-2	1996

D. G. · D. Gabbay · D. M. · D. M., Ed. Gabbay · Dov. M., Ed. Gabbay · Dov M. Gabbay · Dov M. M. Gabbay · M G***

College Publications · Elsevier Science · Oxford University Press · Springer