Recursive number theory : :: SCD d'Orléans

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus

Сохранить в:

Библиографические подробности
Главный автор:	Goodstein, Reuben Louis, 1912-1985
Формат:	Livre papier
Язык:	Anglais
Опубликовано:	Amsterdam : North-Holland 1964.
Серии:	Studies in logic and the foundations of mathematics
Предметы:	Fonctions récursives Nombres, Théorie des
Autres localisations:	Voir dans le Sudoc

Схожие документы

Theory of recursive functions and effective computability
по: Rogers, Hartley, 1926-2015
Опубликовано: (1967)

Recursive function theory and logic
по: Yasuhara, Ann Harris, 1932-2014
Опубликовано: (1971)

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

Fonctions récursives
по: Grzegorczyk, Andrzej, 1922-...., philosophe
Опубликовано: (1961)

Fibonacci and related number theoretic tables
Опубликовано: (1972)

Recursive methods in economic dynamics
по: Stokey, Nancy L., и др.
Опубликовано: (1989)

Recursive analysis
по: Goodstein, Reuben Louis, 1912-1985
Опубликовано: (1961)

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Опубликовано: (1965)

Médias récursifs
по: Uricchio, William
Опубликовано: (2022)

Médias récursifs
по: Uricchio, William
Опубликовано: (2022)

Méthodes récursives aléatoires
по: Duflo, Marie, 1940-2019, mathématicienne
Опубликовано: (1990)

Enumerability, decidability, computability : an introduction to the theory of recursive functions
по: Hermes, Hans, 1912-2003
Опубликовано: (1965)

Introduction to analytic number theory
по: Apostol, Tom M., 1923-2016, mathématicien
Опубликовано: (1976)

Introduction to analytic number theory
по: Apostol, Tom M., 1923-2016, mathématicien

Automorphic functions and number theory
по: Shimura, Gorō, 1930-2019

Modular functions and Dirichlet series in number theory
по: Apostol, Tom M., 1923-2016, mathématicien
Опубликовано: (1976)

Recent perspectives in random matrix theory and number theory
Опубликовано: (2005)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
по: Cori, René, 1949-...., mathématicien, и др.
Опубликовано: (2003)

Introduction to number theory
по: Hua, Luogeng, 1910-1985
Опубликовано: (1982)

Number Theory : An Introduction via the Distribution of Primes
по: Fine, Benjamin, 1948-, и др.

Number Theory. Analytic and Modern Tools
по: Cohen, Henri, 1947-...., mathématicien

Number theory. Algebraic number theory
по: Paršin, Aleksej Nikolaevič, 1942-2022
Опубликовано: (1992)

Récursivité
по: Azra, Jean-Pierre, и др.
Опубликовано: (1973)

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
Опубликовано: (1976)

Subrecursion : functions and hierarchies
по: Rose, Harvey Ernest, 1936-
Опубликовано: (1984)

An Algorithmic Rule to Solve the Extended Ibn Ezra – Rabad Problem: Recursive Constrained Unanimity
по: de Mesnard, Louis
Опубликовано: (2023)

An introduction to number theory
по: Stark, Harold M., 1939-
Опубликовано: (1978)

Number theory
по: Andrews, George E., 1938-
Опубликовано: (1994)

Frontiers in number theory, physics, and geometry. On random matrices, zeta functions, and dynamical systems
Опубликовано: (2006)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
по: Cori, René, и др.
Опубликовано: (1993)

Unsolved problems in number theory
по: Guy, Richard K., 1916-2020
Опубликовано: (1994)

Number theory
по: Hasse, Helmut, 1898-1979
Опубликовано: (1980)

Introduction to the theory of algebraic numbers and functions
по: Eichler, Martin, 1912-1992
Опубликовано: (1966)

Singularly perturbed and weakly coupled linear control systems : a recursive approach
по: Gajic, Zoran, 1949-, и др.

Analytic Arithmetic in Algebraic Number Fields
по: Moroz, Boris Zelikovich, 1940-

Number theory. an introduction to mathematics
по: Coppel, William Andrew, 1930-2023

Number theory. an introduction to mathematics
по: Coppel, William Andrew, 1930-2023
Опубликовано: (2006)

Number theory : an introduction to Mathematics
по: Coppel, William Andrew

Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975

Recursion on the countable functionals
по: Normann, Dag, 1947-

© 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