Bibliography

Abstract

Protonegationality and inconsistency lemmas: part II

Lávička Tomáš, Přenosil Adam

: ManyVal 2017. Booklet of Abstracts, p. 58-60

: ManyVal 2017, (Toulouse, FR, 15.11.2017-17.11.2017)

: BA