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

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

Undecidable properties of extensions of the logic of provability

Undecidable properties of extensions of the logic of provability

A. V. Chagrov

期刊名称Algebra and Logic
作者A. V. Chagrov
卷第29卷
期第3期
印刷ISSN0002-5232
电子ISSN1573-8302
文件大小769.33KB
发表时间1990-0506
DOI10.1007/bf01979939
页码231-243

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