Cargando…

Computability & Unsolvability

Detalles Bibliográficos
Autor principal:	Davis, Martin, 1928-
Formato:	Libro
Publicado:	New York : Dover, 1982
Materias:	Funciones recursivas Insolubilidad (Lógica matemática) Funciones computables

Ejemplares similares

Theory of recursive functions and effective computability /
por: Rogers, H. (Hartley), 1926-
Publicado: (1987)

Recursive algorithms
por: Lorentz, Richard J.
Publicado: (1994)

Computability and logic
por: Boolos, George S.
Publicado: (1989)

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

Classical recursion theory
por: Odifreddi, Piergiorgio, 1950-
Publicado: (1989)

Handbook of recursive mathematics /
Publicado: (1998)

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

Precálculo : un enfoque razonado /
por: Velasco Sotomayor, Gabriel
Publicado: (2010)

Special functions of mathematical physics and chemistry /
por: Sneddon, Ian Naismith
Publicado: (1961)

Funciones
Publicado: (1974)

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

Handbook of computability theory /
Publicado: (1999)

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

A concise introduction to pure mathematics /
por: Liebeck, M. W. (Martin W.), 1954-
Publicado: (2006)

The uncertain reasoner's companion : a mathematical perspective /
por: Paris, J. B. (Jeff B.)
Publicado: (1994)

Lógica matemática elemental
por: Zubieta Russi, Francisco
Publicado: (1977)

What is mathematical logic
Publicado: (1990)

An outline of mathematical logic : fundamental results and notions explained with all details
por: Grzegorczyk, Andrzej
Publicado: (1974)

Course of mathematical logic
por: Fraíssé, Roland
Publicado: (1974)

First order mathematical logic /
por: Margaris, Angelo
Publicado: (1990)

Popular lectures on mathematical logic
por: Wang, Hao, 1921-
Publicado: (1993)

Primer curso de lógica matemática
por: Suppes, Patrick, 1922-2014
Publicado: (1979)

La máquina y las demostraciones : matemáticas, lógica e informática
por: Lolli, Gabriele, 1942-
Publicado: (1991)

Handbook of mathematical logic
Publicado: (1977)

Manual de lógica para estudiantes de matemáticas
por: Zubieta Russi, Gonzalo
Publicado: (1971)

Introducción al intuicionismo
por: Heyting, A
Publicado: (1976)

Matemáticas y razonamiento plausible
por: Polya, George, 1887-1985
Publicado: (1966)

Mathematical logic and the foundations of mathematics : an introductory survey /
por: Kneebone, G. T.
Publicado: (1963)

El desarrollo de la lógica matemática /
por: Nidditch, P.H
Publicado: (1995)

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

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1997)

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

Foundations of mathematical logic
por: Curry, Haskell B. 1900-1982 (Haskell Brooks)
Publicado: (1977)

Logic for mathematicians
por: Hamilton, A. G., 1943-
Publicado: (1988)

Introducción al razonamiento matemático /
por: Castaño Perea, Jaime Andrés

Introducción a la matemática formal desde las funciones /
por: Arias Tencio, Floria
Publicado: (2010)

Funciones y relaciones
por: Rangel Nasaile, Luz María

Theory and problems of complex variables : with an introduction to conformal mapping and its applications
por: Spiegel, Murray R.
Publicado: (1964)

?Qué es la lógica matemática?
Publicado: (1988)

Elementos de la teoría de funciones y del análisis funcional ; A. N. Kolmogorov, S. V. Fomin ; tr. del ruso por Carlos Vega.
por: Kolmogorov, Andrei Nikolaevich, 1903-
Publicado: (1972)

Cannot write session to /tmp/vufind_sessions/sess_5rmeg898pg2pjcnd6q74jhtimp