Dov Gabbay | Bookhype

Foundations of Artificial Intelligence

Cover of Handbook of Temporal Reasoning in Artificial Intelligence

Book #1: Handbook of Temporal Reasoning in Artificial Intelligence

Handbook of the History of Logic

Cover of Greek, Indian and Arabic Logic

Book #1: Greek, Indian and Arabic Logic

Studies in Logic: Mathematical Logic and Foundations