Počet záznamů: 1  

Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic

    1.
    CINTULA, P., METCALFE, G. Admissible Rules in the Implication–Negation Fragment of Intuitionistic Logic. Annals of Pure and Applied Logic. 2010, 162(2), 162-171. ISSN 0168-0072. E-ISSN 1873-2461. Dostupné z: doi: 10.1016/j.apal.2010.09.001
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