Cargando…

Classical recursion theory

Detalles Bibliográficos
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:	Recursion, teoría de. Funciones recursivas.

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)

Computability, complexity, logic
por: Börger, Egon 1946-
Publicado: (1989)

Classical recursion theory: the theory of functions and sets of natural numbers
por: Odifreddi, Piergiorgio
Publicado: (1992)

Introducción a la teoría de la computabilidad : algoritmos y máquinas
por: Hermes, Hans
Publicado: (1984)

Computable structures and the hyperarithmetical hierarchy
por: Ash, C. J.
Publicado: (2000)

Model Theory
por: Chang, Chen Chung, 1927-
Publicado: (1990)

Beginning model theory : the completeness theorem and some consequences
por: Bridge, Jene
Publicado: (1977)

A shorter model theory
por: Hodges, Wilfrid
Publicado: (1997)

Handbook of computability theory /
Publicado: (1999)

Logic, sets, and recursion
por: Causey, Robert L.
Publicado: (2006)

Handbook of proof theory /
Publicado: (1998)

Notes on logic and set theory /
por: Johnstone, P. T.
Publicado: (1987)

Computation and automata
por: Salomaa, Arto
Publicado: (1985)

Mathematical proofs : a transition to advanced mathematics /
por: Chartrand, Gary
Publicado: (2013)

Mathematical proofs : a transition to advanced mathematics
por: Chartrand, Gary
Publicado: (2003)

Análisis de algoritmos y teoría de grafos
por: Abellanas, M.
Publicado: (1991)

Combinators, 2-terms and proof theory
por: Stenlund, Sören
Publicado: (1972)

Models of computation and formal languages /
por: Taylor, Ralph Gregory
Publicado: (1998)

Theory of computation /
por: Kozen, Dexter, 1951-
Publicado: (2006)

Theory of functions of a complex variable
por: Carathéodory, Constantin, 1873-1950
Publicado: (1983)

Una introducción constructiva a la teoría de modelos
por: Sanmartín Esplugues, José
Publicado: (1977)

La matemática del siglo XX : de los conjuntos a la complejidad
por: Odifreddi, Piergiorgio, 1950-
Publicado: (2006)

Diccionario de la estupidez /
por: Odifreddi, Piergiorgio, 1950-
Publicado: (2018)

Teoría de modelos
por: Manzano, María
Publicado: (1989)

How to read and do proofs : an introduction to mathematical thought processes /
por: Solow, Daniel
Publicado: (2002)

Admissible sets and structures : an approach to definability theory
por: Barwise, Jon
Publicado: (1975)

Analytic function theory /
por: Hille, Einar, 1894-1979
Publicado: (1959)

Understanding mathematical proof
por: Taylor, John, 1957-
Publicado: (2014)

A classical introduction to modern number theory
por: Ireland Kenneth F.
Publicado: (1990)

The theory of functions,
por: Titchmarsh, E. C. (Edward Charles), 1899-
Publicado: (1939)

Elements of the theory of functions
por: Knopp, Konrad
Publicado: (1952)

Problem book in the theory of functions
por: Knopp, Konrad 1882-1957
Publicado: (1948)

The grand unified theory of classical quantum mechanics
por: Mills, Randell L.
Publicado: (2000)

Lectures on the theory of elliptic functions : analysis
por: Hancock, Harris, 1867-1944
Publicado: (1958)

An introduction to the theory of functions of a complex variable
por: Copson, E. T. 1901-1980 (Edward Thomas)
Publicado: (1935)

Pluralidad y recursión : estudios epistemológicos
por: Moulines, C. Ulises
Publicado: (1991)

Cannot write session to /tmp/vufind_sessions/sess_b87hbh08fhebn0vherh0j15m9e