ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Labeled"
Labeled
Osoba
Předměty
Osoby
Publikace
Studium
doc. Ing. Petr Cintula Ph.D.
Externí akademický pracovník na Filozofická fakulta
1 předmět
4 publikace
Předmět
class
Obecné teorie logických systémů
ALGV00052 |
Filozofická fakulta
Publikace
publication
Lindenbaum and Pair Extension Lemma in Infinitary Logics
2018 |
Filozofická fakulta
publication
Lindenbaum-style proof of completeness for infinitary logics Part II
2018 |
Filozofická fakulta
publication
Lindenbaum-style proof of completeness for infinitary logics Part I
2018 |
Filozofická fakulta
publication
Lindenbaum-style proof of completeness for infinitary logics
2017 |
Filozofická fakulta
Loading network view...
