Survey of display calculi
Požadavky na absolvování
Survey of display and hypersequent calculi, Revanra Ramanayake and Agata Ciabattoni.
Klikněte na odkaz surveyhypdispl.pdf pro zobrazení souboru.