Gabbay, Dov M.

ID:DA00031897

Alias Name

Gabbay, D. (Dov)

Gabbay, D. M. (Dov M.)

Search authors sharing the same name

Search Results61-72 of 72

  • 4 / 4
  • Deduction methodologies

    edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann

    Clarendon Press , Oxford University Press 1994 Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson v. 2

    Available at 56 libraries

  • Handbook of logic in artificial intelligence and logic programming

    edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson

    Clarendon Press , Oxford University Press 1993-1998

  • Logical foundations

    edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann

    Clarendon Press , Oxford University Press 1993 Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson v. 1

    Available at 62 libraries

  • Background : mathematical structures

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

    Clarendon Press 1992 Handbook of logic in computer science v. 1

    Available at 70 libraries

  • Background : computational structures

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

    Clarendon Press 1992 Handbook of logic in computer science v. 2

    Available at 71 libraries

  • Topics in the philosophy of language

    edited by D. Gabbay and F. Guenthner

    Kluwer Academic Publishers c1989 Synthese library v. 167 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 4

    Available at 64 libraries

  • Alternatives to classical logic

    edited by D. Gabbay and F. Guenthner

    D. Reidel , Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers c1986 Synthese library v. 166 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 3

    Available at 72 libraries

  • Extensions of classical logic

    edited by D. Gabbay and F. Guenthner

    D. Reidel c1984 Synthese library v. 165 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 2

    Available at 74 libraries

  • Elements of classical logic

    edited by D. Gabbay and F. Guenthner

    D. Reidel , Sold and distributed in the U.S.A. and Canada by Kluwer Academic Pub. c1983 Synthese library v. 164 . Handbook of philosophical logic ; v. 1

    : [pbk.]

    Available at 78 libraries

  • Semantical investigations in Heyting's intuitionistic logic

    Dov M. Gabbay

    D. Reidel , distributed in the U.S.A. and Canada by Kluwer Boston c1981 Synthese library v. 148

    Available at 40 libraries

  • Investigations in modal and tense logics with applications to problems in philosophy and linguistics

    Dov M. Gabbay

    D. Reidel Pub. Co. c1976 Synthese library v. 92

    Available at 58 libraries

  • Handbook of the philosophy of science

    general editors, Dov M. Gabbay, Paul Thagard, and John Woods

    Elsevier

  • 4 / 4
Page Top