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

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

Semantic Tableaux for A Logic With Identity

Semantic Tableaux for A Logic With Identity

Ermanno Bencivenga

作者Ermanno Bencivenga
卷第27卷
印刷ISSN0942-5616
电子ISSN1521-3870
文件大小501.49KB
发表时间1981
DOI10.1002/malq.19810271602
页码241-247

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