Wydział Matematyki i Informatyki
Uniwersytetu Jagiellońskiego
Logowanie
Publikacje
Czasopisma
Wydawnictwa
Konferencje
Konferencje
Pracownicy
Pracownicy wydziału
Doktoranci
Pracownicy emerytowani
Osoby związane z wydziałem
Byli doktoranci
Urlopy naukowe
Granty i Nagrody
Granty
Nagrody
Postępowania
Doktoraty
Habilitacje
Profesury
Daniele Gardy
Jednostki:
Publikacje
Publikacje:
1.
Daniele Gardy, Herve Fournier, Antoine Genitrini,
Marek Zaionc
Tautologies over implication with negative literals
,
Mathematical Logic Quarterly
vol. 56 (2010), 388-396
6205