- Truth and (Un)Provability2023 | Faculty of Arts
- Consequences of the Provability of NP c P/poly2007 | Faculty of Mathematics and Physics
- Provability in Hilbert-Style Calculi for Non-Classical Logics and ATPPublication without faculty affiliation
- On provability logic2000 | Faculty of Arts
- The decision problem of provability logic with only one atom2003 | Faculty of Arts
- The Conditions of Meaningfulness and Provability of 'Ontological Contingenc'2014 | Faculty of Humanities
- On the arithmetical classification of the set of all provably recursive functions1999 | Faculty of Arts
- Whole body exposure to low frequency magnetic field: no provable effects on the cellular energetics of rat skeletal muscle.2006 | Faculty of Science
- Whole body exposure to low frequency magnetic field: No provable effects on the cellular energetics of rat skeletal muscle2006 | Publication without faculty affiliation
- Note on D-completeness and prelinearity2013 | Faculty of Arts
- The limit lemma in fragments of arithmetic2003 | Faculty of Arts
- DYNAMIC BIOMETRIC SIGNATURE Part Two: Connection to the deed and the title of processing2022 | Faculty of Law
- On the Independence of Axioms in BL and MTL2008 | Faculty of Arts
- Interpolation in Modal Logics2006 | Faculty of Arts
- On-line conflict-free colorings for intervals2006 | Faculty of Mathematics and Physics
- Syntactic Approach to Fuzzy Modal Logic in MTL2009 | Faculty of Arts
- Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics2017 | Faculty of Mathematics and Physics
- Modules determined by their annihilator classes2010 | Faculty of Mathematics and Physics
- The Intuitionistic Robinson Arithmetic(s)2015 | Faculty of Arts
- Image analysis in facial symmetry evaluation2014 | First Faculty of Medicine
- On strong fragments of Peano arithmetic2015 | Faculty of Arts
- Missing lateral insicors treatment - orthodontic space closure. Part 2. Mesialization and esthetic reshaping of a canine2021 | Third Faculty of Medicine
- Large Cardinals and the Continuum Hypothesis2013 | Faculty of Arts
- Cluster of patients with Familial Mediterranean fever and heterozygous carriers of mutations in MEFV gene in the Czech Republic2014 | First Faculty of Medicine, Second Faculty of Medicine
- Historical overview of the use of electroconvulsive therapy2015 | First Faculty of Medicine
- The influence of the size of residence on selected aspects of physical education teachers' lifestyle at primary school2015 | Faculty of Physical Education and Sport
- Čeněk Paclt: Czech traveler in Mexico and Brazil2018 | Faculty of Arts
- 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 | Faculty of Arts
- Theoretical spin-wave dispersions in the antiferromagnetic phase AF1 of MnWO4 based on the polar atomistic model in P22018 | Faculty of Mathematics and Physics
- EVALUATION OF KNOWLEDGE RELATED TO FINANCE IN STUDENTS OF SELECTED CZECH UNIVERSITIES2019 | Faculty of Physical Education and Sport