Protonegationality and inconsistency lemmas: part I Bibliografické údaje Autoři Mgr. Adam Přenosil, Ph.D. Rok vydání 2017 Typ publikace Abstrakt Periodikum ManyVal 2017. Booklet of Abstracts Bibliografická citace LÁVIČKA, Tomáš, PŘENOSIL, Adam. Protonegationality and inconsistency lemmas: part I. In: ManyVal 2017. Booklet of Abstracts. Toulouse: Institut de Mathematiques, 2017, S. 55-57. ID 481955 Abstrakt O0