Login
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ó, Contributions to the Reduction Theory of the Decision Problem Third Paper: Prefix $(x_1)(Ex_2)...(Ex_{n-2})(x_{n-1})(x_n)$, a Single Binary Predicate
(1951) |
| Kalmár, László, Another Proof of the Markov--Post Theorem
(1952) |
| Kalmár, László, A BOLYAI--LOBACSEVSZKIJ-FÉLE GEOMETRIA HATÁSA AZ AXIÓMATIKUS MÓDSZER FEJLÖDÉSÉRE
(1953) |
| Kalmár, László, AZ ELDÖNTÉSPROBLÉMA VISSZAVEZETÉSE LOGIKAI FORMULÁK VÉGES HALMAZON VALÓ KIELÉGÍTHETÖSÉGÉNEK KÉRDÉSÉRE
(1953) |
| Kalmár, László, L'INFLUENCE DE LA GÉOMÉTRIE DE BOLYAI--LOBATCHEVSKY SUR LE DÉVELOPPEMENT DE LA MÉTHODE AXIOMATIQUE
(1954) |
| Kalmár, László, 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
(1955) |
| Kalmár, László, A MATEMATIKAI LOGIKÁRÓL
(1956) |
| Kalmár, László, KÖZVETLEN BIZONYÍTÁS AZ ELDÖNTÉSPROBLÉMÁNAK ÁLTALÁNOS REKURZÍV ALGORITMUSSAL VALÓ MEGOLDHATATLANSÁGÁRA
(1956) |
| Kalmár, László, An Argument Against the Plausibility of Church's Thesis
(1957) |
| Kalmár, László, Az Ún. Megoldhatatlan Matematikai Problémákra Vonatkozó Kutatások Alapjául Szolgáló Church-Féle Hipotézisröl
(1957) |