Пошук :
Довідка :
Електронний каталог : Kalmár, László
К списку авторов
Kalmár, László
Сортувати за:заглавиюЗв'язані описи:
Книга
Kalmár, László
Contributions to the reduction theory of the decision problem: Third paper Prefix (x1)(Ex2)...(Exn−2)(xn−1)(xn), a single binary predicate
Akadémiai Kiadó, 1951 г.
ISBN відсутній
Kalmár, László
Contributions to the reduction theory of the decision problem: Third paper Prefix (x1)(Ex2)...(Exn−2)(xn−1)(xn), a single binary predicate
Akadémiai Kiadó, 1951 г.
ISBN відсутній
Книга
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
Akadémiai Kiadó, 1951 г.
ISBN відсутній
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
Akadémiai Kiadó, 1951 г.
ISBN відсутній
Книга
Kalmár, László
Another proof of the Markov-Post theorem
Akadémiai Kiadó, 1952 г.
ISBN відсутній
Kalmár, László
Another proof of the Markov-Post theorem
Akadémiai Kiadó, 1952 г.
ISBN відсутній
Книга
Kalmár, László
On the reduction of the decision problem. Third paper. Pepis prefix, a single binary predicate
Association for Symbolic Logic, 1950 г.
ISBN відсутній
Kalmár, László
On the reduction of the decision problem. Third paper. Pepis prefix, a single binary predicate
Association for Symbolic Logic, 1950 г.
ISBN відсутній
Книга
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é...: [отдельный оттиск]
Приведение проблемы разрешимости к вопросу выполнимости логических формул на конечных классах
Akadémiai Kiadó, 1951 г.
ISBN відсутній
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é...: [отдельный оттиск]
Приведение проблемы разрешимости к вопросу выполнимости логических формул на конечных классах
Akadémiai Kiadó, 1951 г.
ISBN відсутній
Книга
Kalmár, László
A Bolyai-Lobacsevszkij-féle geometria hatása az axiómatikus módszer fejlődésére: [окремий відбиток]
Magyar Tudományos Akadémia, 1953 г.
ISBN відсутній
Kalmár, László
A Bolyai-Lobacsevszkij-féle geometria hatása az axiómatikus módszer fejlődésére: [окремий відбиток]
Magyar Tudományos Akadémia, 1953 г.
ISBN відсутній