24 research outputs found
B. Ú. Pil'čak. O problémé razréšimosti dlá isčisléniá zadač (On the decision problem for the calculus of problems.) Doklady Akadémii Nauk SSSR, vol. 75 (1950), pp. 773–776.
No full textEugen Gh. Mihailescu. Cercetǎri asupra subsistemelor calculului propoziţiilor (Researches on sub-systems of the propositional calculus). Roumanian, with abstracts in Russian and French. Studii şi cercetӑri matematice, Academia Republicii Populate Romane, Institutul de Matematica, vol. 2 (1951), pp. 1–44.
No full text
