Recursive analysis :: SCD d'Orléans

Recursive analysis

Recursive analysis

Enregistré dans:

書目詳細資料
主要作者:	Goodstein, Reuben Louis, 1912-1985
格式:	Livre papier
語言:	Anglais
出版:	Amsterdam : North-Holland 1961.
叢編:	Studies in logic and the foundations of mathematics
主題:	Récursivité, théorie de la
Autres localisations:	Voir dans le Sudoc

相似書籍

Recursion-theoretic hierarchies
由: Hinman, Peter G.
出版: (1978)

General recursion theory : an axiomatic approach
由: Fenstad, Jens Erik, 1935-2020
出版: (1980)

Generalized recursion theory : proceedings of the 1972 Oslo symposium
出版: (1974)

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

Recursion on the countable functionals
由: Normann, Dag, 1947-

Techniques of Admissible Recursion Theory
由: Chong, Chi-Tat, 1949-...., mathématicien

Induction, recursion, and programming
由: Wand, Mitchell
出版: (1980)

Theory of recursive functions and effective computability
由: Rogers, Hartley, 1926-2015
出版: (1967)

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
出版: (1967)

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

The recursion method : application to many-body dynamics
由: Viswanath, V.S, et autres

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
由: Lolli, Gabriele, 1942-
出版: (2011)

Recursive methods in economic dynamics
由: Stokey, Nancy L., et autres
出版: (1989)

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
由: Goodstein, Reuben Louis, 1912-1985
出版: (1964)

Recursiveness
由: Eilenberg, Samuel, 1913-1998, et autres
出版: (1970)

Récursivité
由: Azra, Jean-Pierre, et autres
出版: (1973)

Subrecursion : functions and hierarchies
由: Rose, Harvey Ernest, 1936-
出版: (1984)

Set theory and hierarchy theory V : Bierutowice, Poland, 1976
出版: (1977)

Set Theory and Hierarchy Theory V

First-order dynamic logic
由: Harel, David, 1950-

Walks on Ordinals and Their Characteristics
由: Todorčević, Stevo, 1955-...., mathématicien

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

Degrees of unsolvability
由: Sacks, Gerald, 1933-2019
出版: (1966)

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
出版: (1977)

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
由: Karpiński, Marek

The Kleene symposium : proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
出版: (1980)

Cybernetique d’une theorie de la connaissance
由: Foerster, Heinz von
出版: (2015)

Le développement de la compréhension de la discontinuité entre l'actuel et le virtuel dans les images
由: Thommen, Évelyne, et autres
出版: (2002)

Option informatique : cours complet pour la Sup MPSI
由: Monasse, Denis, 1950-
出版: (1996)

Stochastic approximation and recursive estimation
由: Nevel'son, Mikhail Solomonovich, 19..-, et autres
出版: (1973)

Altérité, géographie, médias : une étude de Terre solitaire de Tiziana Panizza
由: Cisneros, James
出版: (2021)

Chaînes d’énonciateurs et modes d’organisation textuels : du discours rapporté à la circulation re-marquée des discours
由: Rosier, Laurence
出版: (2009)

Recursive estimation and control for stochastic systems
由: Han-Fu, Chen
出版: (1985)

Position multisituée et récursivité
由: Trémon, Anne-Christine
出版: (2023)

La mise en scène de la créativité dans l’œuvre de Michel Gondry : récursivité, boucle étrange et cognition
由: Périssé, Camille
出版: (2022)

Fundamental concepts of mathematics
由: Goodstein, Reuben Louis, 1912-1985
出版: (1962)

Récursion : roman
由: Crouch, Blake, 1978-
出版: (2022)

Sur la jouissance du sportif
由: Lew, René
出版: (2020)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales