2 results for 'Dov M. Gabbay'

Sidebar Sidebar Sidebar
Did you mean: dov m gabbana Refine Search
  • Reductive Logic and Proof-search
    Add to Cart The item has been added

    Reductive Logic and Proof-search

    This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer...
    RRP: $377.00
    $285.00

    Add to Cart The item has been added
  • Advances in Intensional Logic Advances in Intensional Logic
    Add to Cart The item has been added

    Advances in Intensional Logic

    Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and...
    $270.00

    Add to Cart The item has been added