Cover Image

Computability and unsolvability

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Davis, Martin (Author)
Format:	Book
Language:	English
Published:	Nueva York Dover 1982
Series:	Dover Books on Mathematics
Subjects:	COMPUTABILIDAD FUNCIONES RECURSIVAS Lógica matemática MAQUINAS DE TURING
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Enumerability, decidability, computability: an introduction to the theory of recursive functions
by: Hermes, Hans
Published: (1969)

Computability and unsolvability
by: Davis, Martin
Published: (1958)

Computations in higher types
by: Moldestad, Johan
Published: (1977)

Degrees of unsolvability: structure and theory
by: Epstein, Richard L
Published: (1979)

A course in mathematical logic
by: Manin, Yuri Ivanovich
Published: (1977)

Logic, computers, and sets
by: Wang, Hao
Published: (1970)

Mathematical Logic
by: Monk, James Donald
Published: (1976)

Theory of computation
by: Brainerd, Walter S, et al.
Published: (1974)

An algebraic introduction to mathematical logic
by: Barnes, Donald W, et al.
Published: (1975)

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Published: (1965)

Introducción a la teoría matemática de las computadoras y de la programación
by: Trajtenbrot, B. A
Published: (1967)

Teoría de autómatas y lenguajes formales
by: Kelley, Dean
Published: (1995)

Graphs and digraphs
by: Chartrand, Gary, et al.
Published: (2011)

Los principios de la matemática
by: Russell, Bertrand
Published: (1948)

Toward a systematic pragmatics
by: Martin, Richard Milton
Published: (1959)

Solved problems: Gamma and Beta functions, legendre polynomials, Bessel functions
by: Farrell, Orin J, et al.
Published: (1963)

The logical basis for computer programming
by: Manna, Zohar, et al.
Published: (1985)

Estructuras matemáticas finitas
by: Kemeny, John G, et al.
Published: (1970)

Applied boolean algebra: an elementary introduction
by: Hohn, Franz E
Published: (1966)

Theory construction: from verbal to mathematical formulations
by: Blalock, Hubert M
Published: (1969)

An introduction to digital computing
by: Arden, Bruce W
Published: (1963)

Introductory formal logic of mathematics
by: Nidditch, P. H.
Published: (1957)

Elements of mathematical logic
by: Lukasiewicz, Jan
Published: (1963)

Mathematical logic
by: Shoenfield, Joseph R
Published: (1967)

Notes on logic
by: Lyndon, Roger C.
Published: (1966)

A theory of formal deducibility
by: Curry, Haskell B
Published: (1950)

Logic for mathematicians
by: Rosser, J. Barkley
Published: (1953)

First-order logic
by: Smullyan, Raymond M
Published: (1968)

Many-valued logics
by: Rosser, J. Barkley, et al.
Published: (1952)

Model theory: An Introduction
by: Marker, David
Published: (2002)

Introduction to Mathematical Logic
by: Dinkines, Flora
Published: (1964)

Qué son los números ?: el método axiomático
by: Chuaqui, Rolando Basim
Published: (1980)

Introducción a la lógica simbólica
by: Stahl, Gerold
Published: (1968)

Epistemología matemática y psicología
by: Beth, Evert W, et al.
Published: (1980)

Introducción a la lógica matemática
by: Galicia Arrambide, Moisés
Published: (1980)

Introducción al simbolismo lógico
by: Bosch, Jorge E
Published: (1971)

Identidad en la lógica matemática
by: Nemesszeghy Voros, Elemer
Published: (1967)

Introducción a la lógica simbólica
by: Suppes, Patrick
Published: (1966)

El desarrollo de la lógica matemática
by: Nidditch, P. H.
Published: (1980)

El juego de la lógica y otros escritos
by: Carroll, Lewis
Published: (1984)