Cargando…
Classical recursion theory
Autor principal: | Odifreddi, Piergiorgio, 1950- |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Amsterdam
: North-Holland,
1989-1999.
|
Colección: | Studies in logic and the foundations of mathematics
; 125, 143 |
Materias: |
Ejemplares similares
-
Handbook of recursive mathematics /
Publicado: (1998) -
Theory of recursive functions and effective computability /
por: Rogers, H. (Hartley), 1926-
Publicado: (1987) -
Recursive algorithms
por: Lorentz, Richard J.
Publicado: (1994) -
Computability & Unsolvability
por: Davis, Martin, 1928-
Publicado: (1982) -
Computability and logic
por: Boolos, George S.
Publicado: (1989)