Logic for Artificial Intelligence and Information... - Gabbay, Dov M.

Gabbay - Logic for Artificial Intelligence and Information Technology - X555z

We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1 by S. Artemov (Engli

We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2 by S. Artemov (Engli

Interpolation and Definability: Modal and Intuitionistic Logics by Dov M. Gabbay

Mediaeval and Renaissance Logic by Dov M. Gabbay (English) Hardcover Book

Interpolation and Definability: Modal and Intuitionistic Logics by Dov M. Gabbay

Semantical Investigations in Heyting's Intuitionistic Logic by Dov M. Gabbay (En