東華大學圖書館 |

作品:	1 作品在 3 項出版品 1 種語言

Handbook of philosophical logic / by: Gabbay, Dov M., (1945-); Guenthner, Franz. (書目-語言資料,印刷品)

Sets and extensions in the twentieth century / by: Gabbay, Dov M., (1945-); Woods, John; Kanamori, Akihiro. (書目-電子資源)

Handbook of the history of logic.. Vol. 11,. Logic: a history of its central concepts / by: Gabbay, Dov M., (1945-); Pelletier, Francis Jeffry, (1944-) (書目-電子資源)

Quantification in nonclassical logic / by: Shehtman, V. B.; Skvortsov, D. P.; Gabbay, Dov M., (1945-) (書目-語言資料,印刷品)

Handbook of logic in computer science / by: Abramsky, Samson, (1953-); Gabbay, Dov M., (1945-); Maibaum, Thomas S. E., (1947-) (書目-語言資料,印刷品)

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. (書目-語言資料,印刷品)

Goal-directed proof theory / by: Olivetti, Nicola.; Gabbay, Dov M., (1945-) (書目-語言資料,印刷品)

Handbook of the history of logic / by: Gabbay, Dov M., (1945-); Woods, John (書目-語言資料,印刷品)

Handbook of quantum logic and quantum structures : = quantum structures / by: Gabbay, Dov M., (1945-); Engesser, Kurt.; Lehmann, Daniel, (1946-) (書目-語言資料,印刷品)

Handbook of logic in artificial intelligence and logic programming / by: Gabbay, Dov M., (1945-); Hogger, Christopher John.; Robinson, J.A. (書目-語言資料,印刷品)