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

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

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

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

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
文件大小260.86KB
发表时间2011
DOI10.1142/9789814360968_0006
页码171-197

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