Bibliothèque de L'IMIST/CNRST catalogue › Détails pour : 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.

par Goodstein, R. L. Collection : Studies in logic and the foundations of mathematics Détails physiques : 1 online resource (xii, 190 pages). ISBN :9780444533852; 0444533850.

Sujet(s) : Recursion theory.

| Arithmetic -- Foundations.

| Number theory.

| Recursivité, Théorie de la.

| Arithmétique -- Fondements.

| Nombres, Théorie des.

| Electronic books.

| Arithmetic -- Foundations.

| Number theory.

| Recursion theory.

Ressources en ligne :

http://www.sciencedirect.com/science/book/9780444533852

Tags de cette bibliothèque : Pas de tags pour ce titre. Connectez-vous pour ajouter des tags.

Exemplaires ( 0 )
Notes
Commentaires ( 0 )

Exemplaires : http://www.sciencedirect.com/science/book/9780444533852

Includes bibliographical references (page 188).

Definition by recursion -- Equation calculus -- Logical constants -- Fundamental theorems of arithmetic -- Formalisations of primitive recursive arithmetic -- Reductions to primitive recursion -- Elimination of parameters -- Gödel numbering and the incompleteness of arithmetic.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL