03 Mathematical logic and foundations
03-02 Research exposition (monographs, survey articles) (6 articles)
- : Poznámky k axiomatizaci planimetrie. (Czech) [Remarks on the axiomatization of plane geometry]. Pokroky matematiky, fyziky a astronomie, vol. 63 (2018), issue 1, pp. 51-67
- : Lectures on ideal dichotomy. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 50 (2009), issue 2, pp. 5-22
- : O riešení niektorých nerozhodnutelných topologických problémov. (Slovak) [Deciding some undecidable topological statements]. Pokroky matematiky, fyziky a astronomie, vol. 27 (1982), issue 5, pp. 252-272
- : Statistical approach to proof theory. (English). Kybernetika, vol. 15 (1979), issue 7, pp. 1,3-97
- : Algoritmus. (Czech) [Algorithm]. Pokroky matematiky, fyziky a astronomie, vol. 8 (1963), issue 4, pp. 197-210
- : Matematická logika a numerická analysa. (Czech) [Mathematical logic and numerical analysis]. Pokroky matematiky, fyziky a astronomie, vol. 3 (1958), issue 5, pp. 516-519
Search
Partner of
