Cargando…
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam,
North-Holland Pub. Co.,
1957.
|
| Colección: | Studies in logic and the foundations of mathematics.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Definition by recursion
- Equation calculus
- Logical constants
- Fundamental theorems of arithmetic
- Formalisations of primitive recursive arithmetic
- Reductions to primitive recursion
- Elimination of parameters
- G�odel numbering and the incompleteness of arithmetic.