Počet záznamů: 1  

Substitution Frege and extended Frege proof systems in non-classical logics

    1.
    JEŘÁBEK, Emil. Substitution Frege and extended Frege proof systems in non-classical logics. Annals of Pure and Applied Logic. 2009, 159(2), 1-48. ISSN 0168-0072. E-ISSN 1873-2461.
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