Interpolation in Fragments of Intuitionistic Propositional Logic
- 期刊名称The Journal of Symbolic Logic
- 作者Gerard R. Renardel de Lavalette
- 卷第54卷
- 期第4期
- 印刷ISSN0022-4812
- 文件大小292.62KB
- 发表时间1989-12
- DOI10.2307/2274823
- 页码1419-1430
同作者推荐
Folgerungen aus den CapillaritätserscheinungenAlbert Einstein · 1901
Letter to a friend of peaceAlbert Einstein · 1984
Physik und realitätAlbert Einstein · 1936
Physics and realityAlbert Einstein · 1936
Zur AbwehrAlbert Einstein · 1921
Emil Warburg als ForscherAlbert Einstein · 1922
Marian v. SmoluchowskiAlbert Einstein · 1917
The Theory of the Affine FieldEINSTEIN, ALBERT · Nature · 1923