ℹ️
🇬🇧
Search
Search for people relevant for "development in generations."
development in generations.
Person
Class
Person
Publication
Programmes
Export current view
doc. Ing. Petr Cintula Ph.D.
External academic staff at Faculty of Arts
1 class
4 publications
Class
class
General Theories of Logical Systems
ALGV00052 |
Faculty of Arts
Publications
publication
Lindenbaum and Pair Extension Lemma in Infinitary Logics
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part II
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part I
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics
2017 |
Faculty of Arts
Loading network view...
