Home > Authors > Dov M. Gabbay

Dov M. Gabbay

All books by Dov M. Gabbay

(Displaying 4 Books)

Compiled labelled deductive systems

Compiled labelled deductive systems

Dov M. Gabbay

Goal-directed proof theory

Goal-directed proof theory

D.M. Gabbay

Handbook of logic in artificial intelligence and logic programming

Handbook of logic in artificial intelligence and logic programming

Dov M. Gabbay

Logiḳah daʼoniṭit le-or ha-Talmud

Logiḳah daʼoniṭit le-or ha-Talmud

Michael Abraham

Looking for another book by Dov M. Gabbay? Search for the book by title.