Showing 1 - 3 results of 3 for search 'Gabbay, Dov M., 1945-', query time: 0.01s Refine Results
  1. 1
    Semantical investigations in Heyting's intuitionistic logic /
    Book
    by Gabbay, Dov M., 1945-
    Published 1981
    Save to List
    Saved in:
  2. 2
    Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings /
    Conference Proceeding Book
    Published 1996
    Other Authors: “…Gabbay, Dov M., 1945-…”
    Save to List
    Saved in:
  3. 3
    Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
    Book
    Published 1994
    Other Authors: “…Gabbay, Dov M., 1945-…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search