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

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

A Preservation Theorem for Tense Logic

A Preservation Theorem for Tense Logic

Hirokazu Nishimura

作者Hirokazu Nishimura
卷第26卷
印刷ISSN0942-5616
电子ISSN1521-3870
文件大小262.41KB
发表时间1980
DOI10.1002/malq.19800261905
页码331-335

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