- Truth and (Un)Provability2023 | Filozofická fakulta
- Důsledky dokazatelnosti, že NP je podmnožinou P/poly2007 | Matematicko-fyzikální fakulta
- Dokazatelnost v hilbertovských kalkulech pro neklasické logiky a ATPPublikace bez příslušnosti k fakultě
- On provability logic2000 | Filozofická fakulta
- The decision problem of provability logic with only one atom2003 | Filozofická fakulta
- The Conditions of Meaningfulness and Provability of 'Ontological Contingenc'2014 | Fakulta humanitních studií
- On the arithmetical classification of the set of all provably recursive functions1999 | Filozofická fakulta
- Celková expozice expozice nízkofrekvenčnímu magnetickému poli nemá významný vliv na energetický metabolismus svalů2006 | Přírodovědecká fakulta
- Celotělní vystavení nízkofrekvenčnímu magnetickému poli: žádný prokazatelný účinek na buněčnou energetiku kosterního svalu2006 | Publikace bez příslušnosti k fakultě
- Note on D-completeness and prelinearity2013 | Filozofická fakulta
- The limit lemma in fragments of arithmetic2003 | Filozofická fakulta
- DYNAMICKÝ BIOMETRICKÝ PODPIS Část druhá: Spojení s listinou a titul zpracování2022 | Právnická fakulta
- On the Independence of Axioms in BL and MTL2008 | Filozofická fakulta
- Interpolace v modálních logikách2006 | Filozofická fakulta
- Bezkonfliktní barvení intervalů on-line2006 | Matematicko-fyzikální fakulta
- Syntactic Approach to Fuzzy Modal Logic in MTL2009 | Filozofická fakulta
- Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics2017 | Matematicko-fyzikální fakulta
- Moduly určené svými anihilátorovými třídami2010 | Matematicko-fyzikální fakulta
- The Intuitionistic Robinson Arithmetic(s)2015 | Filozofická fakulta
- Analýza obrazu v hodnocení symetrie obličeje2014 | 1. lékařská fakulta
- On strong fragments of Peano arithmetic2015 | Filozofická fakulta
- Léčba ageneze laterálních řezáků uzávěrem mezer. Část 2. Mezializace a estetická úprava tvaru špičáku2021 | 3. lékařská fakulta
- Large Cardinals and the Continuum Hypothesis2013 | Filozofická fakulta
- Cluster of patients with Familial Mediterranean fever and heterozygous carriers of mutations in MEFV gene in the Czech Republic2014 | 1. lékařská fakulta, 2. lékařská fakulta
- Historický přehled vývoje elektrokonvulzivní terapie2015 | 1. lékařská fakulta
- Vliv velikosti bydliště na vybrané aspekty životního stylu učitelů tělesné výchovy na základních školách2015 | Fakulta tělesné výchovy a sportu
- Čeněk Paclt: Czech traveler in Mexico and Brazil2018 | Filozofická fakulta
- Prehistoric copper mining in the area Bohemian Forest (Böhmischer Wald, Český les) with special attention to the area "Měděnka" (dist. Domažlice). The state and possibilities of this research2018 | Filozofická fakulta
- Theoretical spin-wave dispersions in the antiferromagnetic phase AF1 of MnWO4 based on the polar atomistic model in P22018 | Matematicko-fyzikální fakulta
- EVALUATION OF KNOWLEDGE RELATED TO FINANCE IN STUDENTS OF SELECTED CZECH UNIVERSITIES2019 | Fakulta tělesné výchovy a sportu
