Oddělení logiky
Department of Logic
O nás
Lidé
Vít Punčochář
Pavel Arazim
Ansten Mørch Klev
Vojtěch Kolman
Pavel Materna
Ondrej Majer
Jaroslav Peregrin
Vladimír Svoboda
Marta Vlasáková
Kontakt
Ocenění
Aktuality
Projekty
Aktuální grantové projekty
Uzavřené grantové projekty
Publikace
Logica Yearbook
Knihy
Články
Přepisy: Martin-Löf
Akce
LOGICA
Konference
Workshopy
Seminář
Multimedia
LOGICA - videa
Fotogalerie
EN
The proof-theoretic square
d’Aragona, A.P.
Synthese 201, 219 (2023)
