Languages
Gabbay, Dov M., (1945-)
Overview
| Works: | 149 works in 3 publications in 1 languages | |
|---|---|---|
Titles
The functional interpretation of logical deduction
by:
Gabbay, Dov M., (1945-); Oliveira, Anjolina G. de.; Queiroz, Ruy J. G. B. de.; World Scientific (Firm)
(Electronic resources)
The many valued and non-monotonic turn in logic
by:
Gabbay, Dov M., (1945-); Woods, John
(Electronic resources)
Handbook of the history of logic.Vol. 11,Logic: a history of its central concepts
by:
Gabbay, Dov M., (1945-); Pelletier, Francis Jeffry, (1944-)
(Electronic resources)
Handbook of logic in computer science /
by:
Abramsky, Samson, (1953-); Gabbay, Dov M., (1945-); Maibaum, Thomas S. E., (1947-)
(Language materials, printed)
Sets and extensions in the twentieth century
by:
Gabbay, Dov M., (1945-); Kanamori, Akihiro.; Woods, John
(Electronic resources)