Gabbay, Dov M., (1945-)

概要

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

書目資訊

The functional interpretation of logical deduction by: Gabbay, Dov M., (1945-); Oliveira, Anjolina G. de.; Queiroz, Ruy J. G. B. de.; World Scientific (Firm) (書目-電子資源)

The many valued and non-monotonic turn in logic by: Gabbay, Dov M., (1945-); Woods, John (書目-電子資源)

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

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

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

主題