1 |
Sets and extensions in the twentieth century / edited by Dov M. Gabbay, Akihiro Kanamori, John Woods
1st ed. - Amsterdam : Elsevier , 2012
|
2 |
Inductive logic / edited by Dov M. Gabbay, Stephan Hartmann and John Woods
Amsterdam : North Holland , 2011
|
3 |
Proof theory for fuzzy logics / by George Metcalfe, Nicola Olivetti, Dov Gabbay
[Dordrecht] : Springer , c2009
|
4 |
Logic from Russell to Church / edited by Dov M. Gabbay and John Woods
1st ed. - Amsterdam : Elsevier , 2009
|
5 |
Analysis and synthesis of logics : how to cut and paste reasoning systems / by Walter Carnielli ... [et al.]
: e-book. - Dordrecht : Springer , c2008
|
6 |
Mediaeval and Renaissance logic / edited by Dov. M. Gabbay and John Woods
Amsterdam ; Tokyo : Elsevier , 2008
|
7 |
British logic in the nineteenth century / edited by Dov M. Gabbay and John Woods
Amsterdam ; Tokyo : Elsevier , 2008
|
8 |
The many valued and nonmonotonic turn in logic / edited by Dov M. Gabbay and John Woods
1st ed. - Amsterdam ; Tokyo : North-Holland , 2007
|
9 |
Logic and the modalities in the twentieth century / edited by Dov M. Gabbay and John Woods
1st ed. - Amsterdam ; Tokyo : Elsevier , 2006
|
10 |
Handbook of the history of logic
: set. - 1st ed. - Amsterdam ; Tokyo : Elsevier , 2004-
|
11 |
Greek, Indian and Arabic logic / edited by Dov M. Gabbay and John Woods
1st ed. - Amsterdam ; Tokyo : Elsevier , 2004
|
12 |
The rise of modern logic : from Leibniz to Frege / edited by Dov M. Gabbay and John Woods
Amsterdam ; Tokyo : Elsevier , 2004
|
13 |
Dynamic syntax : the flow of language understanding / Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
: hbk,: pbk. - Oxford ; Malden, Mass : Blackwell Publishers , 2001
|
14 |
Handbook of philosophical logic / edited by D.M. Gabbay and F. Guenthner
v. 1 - v. 18. - 2nd ed. - Dordrecht : Kluwer Academic , c2001-
|
15 |
Goal-directed proof theory / by Dov M. Gabbay and Nicola Olivetti
Dordrecht : Kluwer , c2000
|
16 |
What is negation? / edited by Dov M. Gabbay and Heinrich Wansing
Dordrecht ; Boston, Mass. : Kluwer Academic Publishers , c1999
|
17 |
Semantic structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
Oxford : Clarendon Press , 1994
|
18 |
Logical foundations / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
Oxford : Clarendon Press. - Oxford ; New York : Oxford University Press , 1993
|
19 |
Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
Oxford : Clarendon Press. - Oxford ; New York : Oxford University Press , 1993-1998
|
20 |
Topics in the philosophy of language / edited by D. Gabbay and F. Guenthner
Dordrecht ; Boston : Kluwer Academic Publishers , c1989
|
21 |
Alternatives to classical logic / edited by D. Gabbay and F. Guenthner
Dordrecht ; Boston : D. Reidel. - Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers , c1986
|
22 |
Extensions of classical logic / edited by D. Gabbay and F. Guenthner
Dordrecht ; Boston : D. Reidel , c1984
|
23 |
Elements of classical logic / edited by D. Gabbay and F. Guenthner
Dordrecht ; Boston : D. Reidel. - Hingham, Mass. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Pub. , c1983
|
24 |
Semantical investigations in Heyting's intuitionistic logic / Dov M. Gabbay
Dordrecht, Holland ; Boston : D. Reidel. - Hingham, MA : distributed in the U.S.A. and Canada by Kluwer Boston , c1981
|
25 |
Investigations in modal and tense logics with applications to problems in philosophy and linguistics / Dov M. Gabbay
Dordrecht, Holland : D. Reidel Pub. Co. , c1976
|
26 |
Handbook of the philosophy of science / general editors, Dov M. Gabbay, Paul Thagard, and John Woods
Amsterdam ; Boston : Elsevier
|