Пошук :
Довідка :
Електронний каталог : Kalmár, László - Contributions to the reduction theory of the decision problem
Kalmár, László - Contributions to the reduction theory of the decision problem
Книга
Автор: 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 відсутній
(UA) Книга
Xін 1088
767017 Главный филиал
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 / László Kalmár.– Budapest : Akadémiai Kiadó, 1951.– P. 19-38
Стаття з журналу: Acta Mathematica Academiae Scientiarum Hungarica, t. 2, f. 1-2 (1951): 19-38 . – На англ. яз. : 1.00.
ББК В123
-- 1. Логіка, математична.
Xін 1088
767017 Главный филиал
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 / László Kalmár.– Budapest : Akadémiai Kiadó, 1951.– P. 19-38
Стаття з журналу: Acta Mathematica Academiae Scientiarum Hungarica, t. 2, f. 1-2 (1951): 19-38 . – На англ. яз. : 1.00.
ББК В123
-- 1. Логіка, математична.