Computations in fragments of intuitionistic propositional logic
- 作者Dick De Jongh; Lex Hendriks; Gerard R. Renardel De Lavalette
- 卷第7卷
- 期第4期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小1029.97KB
- 发表时间1991
- DOI10.1007/bf01880328
- 页码537-561
On regular tangent conesR. A. Khachatryan · Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences) · 2017
Periodic products of groupsS. I. Adian,V. S. Atabekyan · Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences) · 2017
A uniqueness theorem for Franklin series… · Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences) · 2017
Hyperidentities of weakly idempotent latticesD. S. Davidova,Yu. M. Movsisyan · Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences) · 2015
On Haar series ofA–integrable functionsG. G. Gevorkyan,K. A. Navasardyan · Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences) · 2017
Stability of queueing networksG. Sh. Tsitsiashvili · Journal of Mathematical Sciences · 1988
Finite groupsS. A. Chunikhin; L. A. Shemetkov · Journal of Mathematical Sciences · 1973
Homotopic topologyD. B. Fuks · Journal of Mathematical Sciences · 1973