Počet záznamů: 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. Dostupné z: doi: 10.1017/jsl.2014.19
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše