检索结果 - Gabbay, Dov M., 1945-
-
1
The functional interpretation of logical deduction
出版 2012其他作者: “...Gabbay, Dov M., 1945-...”
An electronic book accessible through the World Wide Web; click to view
电子 电子书 -
2
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
出版 2007其他作者: “...Gabbay, Dov M., 1945-...”
An electronic book accessible through the World Wide Web; click to view
电子 会议录 电子书