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

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

A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5

A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5

POGGIOLESI, FRANCESCA

期刊名称The Review of Symbolic Logic
作者POGGIOLESI, FRANCESCA
卷第1卷
期第1期
印刷ISSN1755-0203
电子ISSN1755-0211
文件大小91.58KB
发表时间2008-6
DOI10.1017/s1755020308080040

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