• DML-CZ Home

03-01 Instructional exposition (textbooks, tutorial papers, etc.) (8 articles)

• Baer, Robert M.: 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
• Semenov, Alexei L.: A simple detailed proof for Goedel's incompleteness theorem. (English). Kybernetika, vol. 24 (1988), issue 6, pp. 447-451
• Pulmannová, Sylvia: 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
• Halmos, Paul R.: 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
• Kramosil, Ivan: Statistical approach to proof theory. (English). Kybernetika, vol. 15 (1979), issue 7, pp. 1,3-97
• Vopěnka, Petr: 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
• Novikov, Petr Sergeevich: O matematické logice. (Czech) [On mathematical logic]. Pokroky matematiky, fyziky a astronomie, vol. 5 (1960), issue 6, pp. 629-643
• Knaster, Bronisłav: 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