Computability & unsolvability.

Mostrar otras versiones (2)

Guardado en:

Detalles Bibliográficos
Autor principal:	Davis, Martin
Formato:	Libro
Lenguaje:	Inglés
Publicado:	New York : Dover, 1982.
Materias:	Lógica matemática
Aporte de:	Registro referencial: Solicitar el recurso aquí Bibliotecas (UNCuyo) de Universidad Nacional de Cuyo

Ejemplares similares

Computability & unsolvability
por: Davis, Martin
Publicado: (1982)

Computability & unsolvability
por: Davis, Martin
Publicado: (1958)

Computability and unsolvability /
por: Davis, Martin
Publicado: (1958)

Unsolved problems in geometry.
por: Croft, Hallard T.
Publicado: (1991)

Handbook of logic in computer science
Publicado: (1992)

Handbook of logic in computer science /
Publicado: (1999)

Handbook of logic in computer science /
Publicado: (1999)

The undecidable : basic papers on Undecidable, propositions, unsolvable problems and computable functions.
Publicado: (1965)

Mathematical logic for computer science /
por: Zhongwan, Lu
Publicado: (1998)

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

Computability : computable functions, logic, and the foundations of mathematics
por: Epstein, Richard L.
Publicado: (2000)

Mathematical logic for computer science.
por: Ben-Ari, M., 1948-
Publicado: (1993)

The logical basis for computer programming /
por: Manna, Zohar
Publicado: (1985)

HANDBOOK of logic in computer science.
Publicado: (1999)

The deductive foundations of computer programming /
por: Manna, Zohar
Publicado: (1993)

Applied and computational complex analysis : power series, integration, conformal mapping, location of zeros
por: Henrici, Peter
Publicado: (1988)

Discrete mathematical structures for computer science /
por: Kolman, Bernard
Publicado: (1987)

Logic for computer science : foundations of automatic theorem proving
por: Gallier, Jean H.
Publicado: (1987)

Logic from computer science
Publicado: (1992)

Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
Publicado: (2007)

Martin Davis on computability, computational logic, and mathematical foundations
Publicado: (2017)

The deductive foundations of computer programming.
por: Manna, Zohar
Publicado: (1993)

LOGIC, álgebra and computation.
Publicado: (1991)

Discrete structures, logic, and computability
por: Hein, James L.
Publicado: (2014)

El pensamiento lógico-matemático : elementos de heurística y apodíctica demostrativa /
por: Sagüillo Fernández Vega, José Miguel
Publicado: (2008)

Elements of the theory of computation /
por: Lewis, Harry R.
Publicado: (1998)

Temporal logic : mathematical foundations and computational aspects /
por: Gabbay, Dov M.
Publicado: (1994)

Elements of Mathematical Logic.
por: Novikov, P. S.
Publicado: (1964)

Firts-order logic
por: Smullyan, Raymond M.
Publicado: (1995)

Primeras notas de reconsideración de la oposición analítico-sintético
por: Roetti, Jorge A.

Principia mathematica : to *56 /
por: Whitehead, Alfred North
Publicado: (1970)

Mathematical logic /
por: Kleene, Stephen Cole
Publicado: (1968)

Lógica matemática /
por: Ferrater Mora, José
Publicado: (1967)

Lógica matemática : antecedentes y fundamentos /
por: Moreno, Alberto
Publicado: (1981)

Qué es la lógica matemática /
por: Moreno, Alberto
Publicado: (1967)

Lógica matemática : elemental /
por: Mates, Benson
Publicado: (1987)

Fundamentos de la matemática discreta
por: Gorbatov, V. A.
Publicado: (1988)

Ejercicios de lógica
por: Moreno, Alberto
Publicado: (1970)

Elementos de lógica teórica /
por: Hilbert, David
Publicado: (1975)

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (1978)