A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Kalmár, László, A Hilbert-Féle Bizonyításelmélet Célkitüzései, Módszerei és Eredményei (1941) |
Kalmár, László, Egyszerü Példa Eldönthetetlen Aritmetikai Problémára (1943) |
Kalmár, László, On Unsolvable Mathematical Problems (1948) |
Kalmár, László, Quelques formes générales du théorème de Gödel (1949) |
Kalmár, László, Une forme du théorème de Gödel sous des hypothèses minimales (1949) |
Kalmár, László, Another Proof of the Gödel--Rosser Incompletability Theorem (1950) |
Kalmár, László, Contributions to the Reduction Theory of the Decision Problem First Paper: Prefix $(x_1) (x_2) (Ex_3)...(Ex_{n-1}) (x_n)$, a Single Binary Predicate (1950) |
Kalmár, László, On Cauchy's Convergence Test (1950) |
Kalmár, László, Über die Cantorsche Theorie der reellen Zahlen (1950) |
Kalmár, László, Contributions to the Reduction Theory of the Decision Problem Fourth Paper: Reduction to the Case of a Finite Set of Individuals (1951) |