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

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

Strong completeness with respect to finite kripke models

Strong completeness with respect to finite kripke models

Wiesław Dziobiak

作者Wiesław Dziobiak
卷第40卷
期第3期
印刷ISSN0039-3215
电子ISSN1572-8730
文件大小284.93KB
发表时间1981
DOI10.1007/bf02584059
页码249-252

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