发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Natural Deduction for Equality

[Advances in Logic] The Functional Interpretation of Logical Deduction Volume 5 || Natural Deduction for Equality

de Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M

作者de Queiroz, Ruy J G B; de Oliveira, Anjolina G; Gabbay, Dov M
文件大小238.03KB
发表时间2011
DOI10.1142/9789814360968_0005
页码147-169

← 返回【学霸图书馆】主页