Search results

Pour-El M. B. [1968] Effectively extension theories J. Symbolic Logic, 33, № 1, 56-68 ? OS article Вернуться к поиску

Pour-El M. B. [1999] The structure of computability Handbook of Computability Theory, Elselvier, 449-471 ? article Вернуться к поиску

Pour-El M.B., Kripke S. [1967] Deduction-preserving “recursive isomorphisms” between theories Fund. Math., 61, № 2, 141-163 68.06.87 S article Вернуться к поиску

Pour-El M. B. [1964] Godel numberings versus Priedberg numberings Proc.Amer. Math. Soc., 15, № 2, 252-256 65.05.45 EO article Вернуться к поиску

Pour-El M. B. [1965] “Recursive isomorphism” and effectively extensible theories Bull. Amer. Math. Soc., 71, № 3, 551-555 66.04.55 S article Вернуться к поиску

Pour-El M. B. [1960] A comparison of five “computable” operators Z. math. Logik und Grundl. Math., 6, № 3-4, 325-340 63.11.50; RO article Вернуться к поиску

Pour-El M.B., Kripke S. [1967] Deduction-preserving “recursive isomorphisms” between theories Bull. Amer. Math. Soc., 73, № 1, 145-148 68.01.68 OS article Вернуться к поиску

Pour-El M. B. [1968] Independent axiomatization and its relation to the hypersimple set Z. math. Logik und Grundl. Math., 14, № 5, 449-456 70.01.76 S article Вернуться к поиску

Pour-El M.B., Howard W.A. [1964] A structural criterion for recursive enumeration without repetitions Z. math. Logik und Grundl. Math., 10, № 2, 105-114 65.09.59 EO article Вернуться к поиску

Pour-El M.B., Putnam H. [1965] Recursively enumerable classes and their application to recursive sequences of formal theories Arch. Math. Logik Grundl., 8, № 3-4, 104-121 67.01.71 EO article Вернуться к поиску

P Palmgren E. ParisJB Parsons Ch. Paterson M.S. Payne T.H. Peretyat’kin M.G. Peter R. Pillay A. Pingrey S. Pleszkoch M. Podzorov S.Yu. Posner D.B. Post E.L. Poudestone W. Pour-El M. B. Presburger M. Putnam H. Puzarenko V.G. Вернуться на главную страницу