Pénzes István (szerk.): Műszaki nagyjaink 6. Matematikusok, az oktatás, a gépészet és a villamos vontatás alkotói, kiváló lisztvegyészek (Budapest, 1986)
Dr. Ádám András - Dr. Dömösi Pál: Kalmár László
27. Matematika és dialektikus materializmus. Magyar Technika 3 (1948), 100—102. 28. On unsolvable mathematical problems. Proceedings of the Tenth International Congress of Philosophy (Amsterdam, 1948), 1949, 1. kötet, 534—536. 29. Une forme du théoréme de Gödel sous des hypothéses minimales. Comptes Pendus Acad. Sei. Paris 229 (1949), 963—965. 30. Quelques formes générales du théoréme de Gödel. Comptes Rendus Acad. Sei. Paris 229 (1949), 1047—1049. 31. Bizonyítsuk be Csebisev tételét, I—III. I. rész: Középisk. Mat. Lapok 2 (1949—50), 7—13. II. rész: Középisk. Mat. Lapok 2 (1949—50), 90—91. III. rész: Középisk. Mat. Lapok 2 (1949—50), 121—124. 32. (& Surányi János) On the reduction of the decision problem, III: Pepis prefix, a single binary predicate. J. Symbolic Logic 15 (1950), 161—173. 33. Eine einfache Konstruktion unentscheidbarer Sätze in formalen Systemen. Methodos 2 (1950), 220—226. 34. Another proof of the Gödel—Rosser incompletability theorem, Acta Sei. Math. 12 (1950) , 38—43. 35. Contributions to the reduction theory of the decision problem, I: Prefix (xJfxJfExJ ...(Exn-J(xn), a single binary predicate. Acta Math. Acad. Sei. Hungar. 1 (1950), 64—73. 36. Über die Cantorsche Theorie der reellen Zahlen. Puhl. Math. 1 (1950), 150—159. 37. On Cauchy’s convergence test. Acta Math. Acad. Sei. Hungar. 1 (1950), 109—112. 38. Beszámoló a Béke Hívei II. világkongresszusáról. Mat. Lapok 1 (1950), 317—318. 39. Contributions to the reduction theory of the decision problem,42 III:Prefix (xx) (Ex3) ...(Exn-Jfxn-Jfxn) a single binary predicate. Acta Math. Acad. Sei.Hungar. 2 (1951) 19—38. 40. Contributions to the reduction theory of the decision problem, IV: Reduction to the case of a finite set of individuals, Acta Math. Acad. Sei. Hungar. 2 (1951), 125—142. 41. (& Aczél János & J. G. Mikusinski) Sur l’équation de translation. Studia Math. 12 (1951) , 112—116. 42. Another proof of the Markov—Post theorem. Acta Math. Acad. Sei. Hungar. 3 (1952), 1—21. 43. A matematika alapjaival kapcsolatos újabb eredmények. A Magyar Tud. Akad. Mat. Fiz. Oszt. Közi. 2 (1952), 89—112. 44. Az eldöntésprobléma visszavezetése logikai formulák véges halmazon való kielégíthetőségének kérdésére. Az I. Magyar Mat. Kongr. (Budapest, 1950) Közleményei, 1952, 163—190. 45. A Bolyai—Lobacsevszkij-féle geometria hatása az axiomatikus módszer fejlődésére. A Magyar Tud. Akad. Mat. Fiz. Oszt. Közi. 3 (1953), 235—242. 46. Az analízis módszerei a középiskolai tanításban, I—IV. I. rész: A mat. tanítása 1 (1953), 22—32. II. rész: A mat. tanítása 1 (1953), 40—50. III. rész: A mat. tanítása 1 (1953), 74—80. IV. rész: A mat. tanítása 1 (1954), 109—112. 47. L’influence de la géométrie de Bolyai-Lobatchevsky sur le développement de la móthode axiomatique. Acta. Math. Acad. Sei. Hungar. 5 (1954), supplementum, 117 —126. 48. K. Schröter egy, az általános rekurzív függvény fogalmának definíciójára vonatkozó problémájának megoldása. A Magyar Tud. Akad. Mat. Fiz. Oszt. Közi. 5 (1955), 103— 127. 49. Über ein Problem, betreffend die Definition des Begriffes der allgemein-rekursiven Funktion. Zeitschr. f. Math. Logik und Grundlagen d. Math. 1 (1955), 93—96. 50. Az általános algebráról — az algebra és a matematikai logika határterületéről (előadás-kivonat). Mat. Lapok 6 (1955), 63—65. 51. Közvetlen bizonyítás az eldöntésproblémának általános rekurzív algoritmussal való megoldhatatlanságára. A Magyar Tud. Akad. Mat. Fiz. Oszt. Közi. 6 (1956), 1—25. 41 41 A cikksorozat második részét Surányi János írta. 85
