Search results

Skolem T. [1944] Some remarks on recursive arithmetic Kon. Nors. Vid., Sel., Forh., 17, 103-106 ~ RO article Вернуться к поиску

Skolem T. [1954] Remarks on “elementary” arithmetic functions Kon. Nors. Vid., Sel., Forh., 27, № 6, 1-6 56.963 O article Вернуться к поиску

Skolem T. [1954] Some considerations concerning recursive arithmetic Bull. Soc. Math., Belgique, 6, № 1, 35-46 56.964 O article Вернуться к поиску

Skolem T. [1944] Remarks on recursive functions and relations Kon. Nors. Vid., Sel., Forh., 17, 89-92 ~ O article Вернуться к поиску

Skolem T. [1953] Some considerations concerning recursive functions Math. Scand., 1, № 2, 213-221 54.5422 article Вернуться к поиску

Skolem T. [1962];[1963] Proofs of some theorems on recursively enumerable sets. Addendum Notre Dame J. Formal Logic, 3, 65-74; 4,44-47 ?;65.11.81 O article Вернуться к поиску

Skolem T. [1962] Recursive enumeration of some classes of primitive recursive functions and majorisation theorem Kon. Nors. Vid., Sel., Forh., 35, № 26, 142-148 64.01.11 article Вернуться к поиску

Skolem T. [1923] Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnungsbereich Skrifter utgit av Videnskapsselskapet i Kristiania, I. Mathematisk-Naturvidenskabelig Klasse,...

Post E.L. [1946] Note on a conjecture of Skolem J. Symbolic Logic, 11, № 3, 73-74 ~ RS article Вернуться к поиску

.... Seidenberg A. Seigneur A. Selivanov V.L. Selman A.L. Semenov A.L. Semukhin P. Shapiro N. Shavrukov V. Yu. Shelach S. Shen A.Kh. Shepherdson J.C. Shi Nian Dong Shinoda J. Shlapentokh A. Shoenfield J.R. Shore R.A. Silibovski S. Simon J. Simpson S.G. Skolem T. Skordev D. Skvortsova E.Z. Slaman T. A. Slinko A. Smith R.L. Smuga-Otto M. J. Smullyan R.M. Soare R. I. SolomonDR SolomonR Solon B. Solovay R.M. Sorbi A. SoskovIN SoskovaAA SoskovaMI Spector C. Sperschneider V. Spreen D. Stanley L. Stearns R.E. Steel ...