東華大學圖書館 |

Works:	1 works in 3 publications in 1 languages

Handbook of philosophical logic / by: Gabbay, Dov M., (1945-); Guenthner, Franz. (Language materials, printed)

Sets and extensions in the twentieth century / by: Gabbay, Dov M., (1945-); Woods, John; Kanamori, Akihiro. (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)

Quantification in nonclassical logic / by: Shehtman, V. B.; Skvortsov, D. P.; Gabbay, Dov M., (1945-) (Language materials, printed)

Handbook of logic in computer science / by: Abramsky, Samson, (1953-); Gabbay, Dov M., (1945-); Maibaum, Thomas S. E., (1947-) (Language materials, printed)

Handbook of logic in computer science.. Volume 5,. Logic and algebraic methods by: Abramsky, Samson, (1953-); Gabbay, Dov M., (1945-); Maibaum, Thomas S. E., (1947-); NetLibrary, Inc. (Language materials, printed)

Goal-directed proof theory / by: Olivetti, Nicola.; Gabbay, Dov M., (1945-) (Language materials, printed)

Handbook of the history of logic / by: Gabbay, Dov M., (1945-); Woods, John (Language materials, printed)

Handbook of quantum logic and quantum structures : = quantum structures / by: Gabbay, Dov M., (1945-); Engesser, Kurt.; Lehmann, Daniel, (1946-) (Language materials, printed)

Handbook of logic in artificial intelligence and logic programming / by: Gabbay, Dov M., (1945-); Hogger, Christopher John.; Robinson, J.A. (Language materials, printed)