Библиография Лаврова И.А.

Shepherdson J.C., Sturgis H. E. [1963] Computability of recursive functions J. Ass. Comp. Mach., 10, № 2, 217-255 64.01.107 ROS article Вернуться к поиску

Shepherdson J.C. [1961] Representability of recursively enumerable sets in formal theories Arch. Math. Logik Grundl., 5, № 3-4, 119-127 62.07.58 O article Вернуться к поиску

Myhill J., Shepherdson J.C. [1955] Effective operations on partial recursive functions Z. math. Logik und Grundl. Math., 1, № 4, 310-317 59.1178 REOSG article Вернуться к поиску

Shepherdson J.C. [1975] Computation over abstract structure: serial and parallel procedure in Friedman’s effective definitional schemes Logic Coll.’73,North-Holland, 445-513 ? O article Вернуться к поиску

Shepherdson J.C. [1985] Algotithmic procedures, generalized Turing algorithms, and elementary Recursion Theory Harvey Fridman’s Res. Found. Math., Amsterdam, 285-308 87.Г1.39 O article Вернуться к поиску

Shepherdson J.C. [1965] Machine configuration and word problem of given degree of unsolvability Z. math. Logik und Grundl. Math., 11, № 2, 149-175 67.05.53 article Вернуться к поиску

Fröhlich A., Shepherdson J.C. [1956] Effective procedures in field theory Philos. Trans. Royal. Soc. London, ser.A, 248, № 950, 407-432 59.01.77 SG article Вернуться к поиску

Shepherdson J.C. [1965] Machine configuration and word problem of given degree of unsolvability Proc. II Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1965), Amsterdam, 69-80 69.02.80 article Вернуться к поиску

... B. Schmerl J.H. Schmidt D. Schmitz H. Schnorr C. P. Schwabhauser W. Schwarz S. T. Schwichtenberg H. Scott D. Seetapun D. 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 ...