Lecons sur les fonctions calculables

Lecons sur les fonctions calculables [par] V.A. Ouspenski. Traduit du russe par André Chauvin.

Saved in:

Bibliographic Details
Main Author:	Uspenskiĭ, V. A. (Vladimir Andreevich)
Format:	Book
Language:	French
Published:	[Paris] Hermann [1966]
Series:	Actualités scientifiques et industrielles, 1317.
Subjects:	Recursive functions.

Similar Items

Computations in higher types
by: Moldestad, Johan, 1946-
Published: (1977)

The Medvedev lattice of degrees of difficulty.
by: Poulsen, Birgit Truust
Published: (1970)

Theory of recursive functions and effective computability.
by: Rogers, H. (Hartley), 1926-
Published: (1967)

Recursive function theory and logic.
by: Yasuhara, Ann
Published: (1971)

Minimal degrees of unsolvability and the full approximation construction
by: Epstein, Richard L., 1947-
Published: (1975)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Published: (1978)

Potential wadge classes
by: Lecomte, Dominique, 1964-
Published: (2012)

Formalized recursive functionals and formalized realizability
by: Kleene, Stephen Cole, 1909-1994
Published: (1969)

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
by: Soare, R. I. (Robert Irving), 1940-
Published: (1987)

Recursive methods in economic dynamics
by: Stokey, Nancy L.
Published: (1989)

Computability, an introduction to recursive function theory
by: Cutland, Nigel
Published: (1980)

Hierarchies of predicates of finite types,
by: Clarke, Douglas Albert
Published: (1964)

Recursive functions in computer theory
by: Péter, Rózsa, 1905-
Published: (1981)

Recursion on the countable functionals
by: Normann, Dag, 1947-
Published: (1980)

Computability and logic
by: Boolos, George
Published: (1989)

Hierarchies of predicates of finite types
by: Clarke, D. A. (Douglas Albert)
Published: (1964)

Minimal degrees of unsolvability and the full approximation construction
by: Epstein, Richard L., 1947-
Published: (1975)

An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert's 17th Problem
by: Lombardi, Henri
Published: (1920)

Multigrammatical framework for knowledge-based digital economy
by: Sheremet, I. A., 1956-
Published: (2022)

Minimal weak truth table degrees and computably enumerable Turing degrees
by: Downey, R. G. (Rod G.), et al.
Published: (2020)

Recursive identification and parameter estimation
by: Chen, Hanfu, et al.
Published: (2014)

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
by: Downey, R. G. (Rod G.), et al.
Published: (2020)

The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions.
by: Davis, Martin, 1928-
Published: (1965)

Initial segments of degrees below 0'
by: Epstein, Richard L., 1947-
Published: (1981)

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (2020)

The role of true finiteness in the admissible recursively enumerable degrees
by: Greenberg, Noam, 1974-
Published: (2006)

Computability with PASCAL
by: Mallozzi, John S.
Published: (1984)

Recursion theory : computational aspects of definability
by: Chong, C.-T. (Chi-Tat), 1949-, et al.
Published: (2015)

The role of true finiteness in the admissible recursively enumerable degrees
by: Greenberg, Noam, 1974-
Published: (2006)

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings]
Published: (1976)

Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)

Techniques of admissible recursion theory
by: Chong, C.-T. (Chi-Tat), 1949-
Published: (1984)

Fundamentals of generalized recursion theory
by: Fitting, Melvin Chris
Published: (1981)

Thinking recursively
by: Roberts, Eric
Published: (1986)

Initial segments of degrees below 0'
by: Epstein, Richard L., 1947-
Published: (1981)

Classical recursion theory : the theory of functions and sets of natural numbers
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)

Recursion theory
Published: (1985)

Computability, enumerability, unsolvability : directions in recursion theory
Published: (1996)

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
Published: (1990)

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
Published: (1985)