03 Mathematical logic and foundations
03-01 Instructional exposition (textbooks, tutorial papers, etc.) (8 articles)
- : E. T. a infinitární Churchova teze. (Czech) [ET and infinitary Church's thesis]. Pokroky matematiky, fyziky a astronomie, vol. 41 (1996), issue 2, pp. 82-89
- : A simple detailed proof for Goedel's incompleteness theorem. (English). Kybernetika, vol. 24 (1988), issue 6, pp. 447-451
- : Axiomatizácia fyzikálnych systémov a „kvantové logiky‟. (Slovak) [Axiomatization of physical systems and “quantum logic”]. Pokroky matematiky, fyziky a astronomie, vol. 28 (1983), issue 5, pp. 247-258
- : Logika od A do G. Návrh matematikova mechanického pomocníka volně zpracovaný tvůrčím matematikem. (Czech) [Logic from A to G. A sketch for a mathematician's mechanical helper, flippantly annotated by a working mathematician]. Pokroky matematiky, fyziky a astronomie, vol. 27 (1982), issue 2, pp. 93-101
- : Statistical approach to proof theory. (English). Kybernetika, vol. 15 (1979), issue 7, pp. 1,3-97
- : O prvním Hilbertově problému (Hypotéza kontinua a axióm výběru). (Czech) [The first Hilbert problem (Continuum hypothesis and axiom of choice)]. Pokroky matematiky, fyziky a astronomie, vol. 16 (1971), issue 3, pp. 117-129
- : O matematické logice. (Czech) [On mathematical logic]. Pokroky matematiky, fyziky a astronomie, vol. 5 (1960), issue 6, pp. 629-643
- : O aplikacích matematické logiky na matematiku. (Czech) [On applications of mathematical logic to mathematics]. Časopis pro pěstování matematiky, vol. 76 (1951), issue 1, pp. 3-22
Search
Partner of
