TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics Opublikowano w: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 3-4 / s. 131 - 1482015CZYSTY TEKST
Feng Gao, George Tourlakis, A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 3-4, s. 131 - 148
BIBTEX@Article{ authors = " Feng Gao, George Tourlakis", title = "A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 3-4", pages = "131 - 148" }
