Cargando…
Classical recursion theory: the theory of functions and sets of natural numbers
Autor principal: | Odifreddi, Piergiorgio |
---|---|
Lenguaje: | eng |
Publicado: |
Elsevier
1992
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1252518 |
Ejemplares similares
-
Classical recursion theory
por: Odifreddi, Piergiorgio, 1950-
Publicado: (1989) -
Recursion theory
por: Shoenfield, Joseph R
Publicado: (2017) -
Recursive number theory: a development of recursive arithmetic in a logic-free equation calculus
por: Goodstein, Reuben Louis
Publicado: (1957) -
Higher recursion theory
por: Sacks, Gerald E
Publicado: (2017) -
Recursive model theory
por: Chang, C C, et al.
Publicado: (1998)