Protonegationality and inconsistency lemmas: part II 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 II. In: ManyVal 2017. Booklet of Abstracts. Toulouse: Institut de Mathematiques, 2017, S. 58-60. ID 481957 Abstrakt O0