Showing 1 - 9 results of 9 for search 'Gabbay, Dov M., 1945-', query time: 0.03s Narrow Search
  1. 1
    Interpolation and definability : modal and intuitionistic logic
    by Gabbay, Dov M., 1945-
    Published 2005
    Click for online access
    eBook
    Save to List
    Saved in:
  2. 2
    Temporal logic : mathematical foundations and computational aspects
    by Gabbay, Dov M., 1945-
    Published 1994
    Book
    Save to List
    Saved in:
  3. 3
    Philosophy of complex systems
    Published 2011
    Other Authors: “…Gabbay, Dov M., 1945-…”
    Click for online access
    eBook
    Save to List
    Saved in:
  4. 4
    Handbook of philosophical logic
    Published 1983
    Other Authors: “…Gabbay, Dov M., 1945-…”
    Book
    Save to List
    Saved in:
  5. 5
    The functional interpretation of logical deduction
    by Queiroz, Ruy J. G. B. de
    Published 2012
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  6. 6
    Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London
    Published 2007
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  7. 7
    Handbook of logic in computer science
    Published 1992
    Other Authors:
    Book
    Save to List
    Saved in:
  8. 8
    Hanbdook of logic in computer science. Volume 5, Logic and algebraic methods
    Published 2020
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  9. 9
    Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming
    Published 2020
    Other Authors: “…Gabbay, Dov M., 1945-…”
    Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: