Number of the records: 1
A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics
- 1.CINTULA, P., NOGUERA, C. A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics. Journal of Symbolic Logic. 2015, 80(1), 341-358. ISSN 0022-4812. E-ISSN 1943-5886. Available: doi: 10.1017/jsl.2014.19
Number of the records: 1