Protonegationality and inconsistency lemmas: part II
Bibliographic details
Authors
Tomáš Lávička, Adam Přenosil
Publication year
Publication type
Abstrakt
Periodical
ManyVal 2017. Booklet of Abstracts
Bibliographic citation
LÁVIČKA, Tomáš, PŘENOSIL, Adam. Protonegationality and inconsistency lemmas: part II. In: ManyVal 2017. Booklet of Abstracts. Toulouse: Institut de Mathematiques, 2017, S. 58-60.
