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

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

A result on implications of Σ 1-sentences and its application to normal form theorems

A result on implications of Σ 1-sentences and its application to normal form theorems

Girard, Jean-Yves; Päppinghaus, Peter

期刊名称The Journal of Symbolic Logic
作者Girard, Jean-Yves; Päppinghaus, Peter
卷第46卷
期第3期
印刷ISSN0022-4812
电子ISSN1943-5886
文件大小643.30KB
发表时间1981-09
DOI10.2307/2273761
页码634-642

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