Dedicated to the Memory of Leo Esakia || Extendible Formulas in Two Variables in Intuitionistic Logic
Nick Bezhanishvili and Dick de Jongh
- 期刊名称Studia Logica: An International Journal for Symbolic Logic
- 作者Nick Bezhanishvili and Dick de Jongh
- 卷第100卷
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小2145.26KB
- 发表时间2012-0204
- DOI10.2307/41475217
- 页码61-89