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ó
munkák bibliográfiáját adjuk. A C rész a további hivatkozásokat tartalmazza. A szövegben az A felsorolás tételeire csupán sorszámmal, a két további jegyzékben szereplő munkákra [B. 11], [C. 6] alakban utalunk. (A) 1. Az interpolációról. Math, és Phys. Lapok 33 (1926), 120—149. 2. Zur Theorie der abstrakten Spiele. Acta Sei. Math. 4 (1928), 65—-85. 3. Über die Abschätzung der Koeffizientensumme Dirichletscher Reihen. Acta Sei. Math. 4 (1929), 155—181. 4. Eine Bemerkung zur Entscheidungstheorie. Acta Sei. Math. 4 (1929), 248—252. 5. A „factorisatio numerorum” problémájáról. Mat. és Fiz. Lapok 38 (1931), 1—15. 6. Über die mittlere Anzahl der Produktdarstellungen der Zahlen, I. Acta Sei. Math. 5 (1931), 95—107. 7. Ein Beitrag zum Entscheidungsproblem. Acta Sei. Math. 5 (1932), 222—236. 8. Ein Beweis des Ruffirxi—Abelschen Satzes. Acta Sei. Math. 6 (1932), 59—60. 9. Zum Entscheidungsproblem der mathematischen Logik. Verhandlungen des Internationalen Mathematiker-Kongresses (Zürich, 1932), II. 337—338. 10. Über die Erfüllbarkeit derjenigen Zahlausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten. Math. Ann. 108 (1933), 466—484. 11. Über einen Löwenheimschen Satz. Acta. Sei. Math. 7 (1934), 112—121. 12. Über die Axiomatisierbarkeit des Aussagenkalküls. Acta Sei. Math. 7 (1935), 222— 243. 13. Zurückführung des Entscheidungsproblems auf den Fall von Formeln mit einer einzigen binären Funktionsvariablen. Compositio Math. 4 (1936), 137—144. 14. A számelmélet alaptételéről. Mat. és Fiz. Lapok 43 (1936), 27—45. 15. Zur Reduktion des Entscheidungsproblems, Norsk Mat. Tidsskrift 19 (1937), 121— 130. 16. Jelentés az 1938. évi König Gyula-jutalomról. Mat. és Fiz. Lapok 45 (1938), 1—17. 17. On the reduction of the decision problem, I: Ackermann prefix, a single binary predicate. J. Symbolic Logic 4 (1939), 1—9. 18. On the possibility of definition by recursion. Acta Sei. Math. 9 (1940), 227—232. 19. A Hilbert-fé-le bizonvításelmélet célkitűzései, módszerei és eredményei. Mat. és Fiz. Lapok 48 (1941), 65—119. 20. A matematikai exaktság fejlődése a szemlélettől az axiomatikus módszerig.41 A másik ember felé, Debrecen (Exodus) (1942), 39—58. 21. Egyszerű példa eldönthetetlen aritmetikai problémára. Mat. és Fiz. Lapok 50 (1943), 1—23. 22. Néhány szó a matematikáról azokhoz, akik világéletükben utálták, I—II. I. rész: Pro Christo 8/4 (1943), 7—9. II. rész: Pro Christo 9/3 (1944), 3—5. 23. „Reménytelen eset vagyok?” Pro Christo 8/6 (1943), 7—9. 24. (& Surányi János) On the reduction of the decision problem, II: Gödel prefix, a single binary predicate. J. Symbolic Logic 12 (1947), 65—73. 25. A számok hatványainak összegéről, I—III. I. rész: Középisk. Mat. Lapok 1 (1947—48), 5—10. II. rész: Középisk. Mat. Lapok 1 (1947—48), 39—47. III. rész: Középisk. Mat. Lapok 1 (1947—48), 169—176. 26. Gyertek, bizonyítsuk be Csebisev tételét! I—III. I. rész: Középisk. Mat. Lapok 1 (1947—18), 89—90. II. rész: Középisk. Mat. Lapok 1 (1947—48), 127—128. III. rész: Középisk. Mat. Lapok 1 (1947—48), 176—182. 41 A cikk kinyomtatott alakjában tévesen „axiomatikus rendszerig” szerepel. 84
