Imatge de la portada

Computability and unsolvability

Veure altres versions (1)

Guardat en:

Dades bibliogràfiques
Autor principal:	Davis, Martin (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Nueva York Dover 1982
Col·lecció:	Dover Books on Mathematics
Matèries:	COMPUTABILIDAD FUNCIONES RECURSIVAS Lógica matemática MAQUINAS DE TURING
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

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

Computability and unsolvability
per: Davis, Martin
Publicat: (1958)

Computations in higher types
per: Moldestad, Johan
Publicat: (1977)

Degrees of unsolvability: structure and theory
per: Epstein, Richard L
Publicat: (1979)

A course in mathematical logic
per: Manin, Yuri Ivanovich
Publicat: (1977)

Logic, computers, and sets
per: Wang, Hao
Publicat: (1970)

Mathematical Logic
per: Monk, James Donald
Publicat: (1976)

Theory of computation
per: Brainerd, Walter S, et al.
Publicat: (1974)

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

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

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

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

Graphs and digraphs
per: Chartrand, Gary, et al.
Publicat: (2011)

Los principios de la matemática
per: Russell, Bertrand
Publicat: (1948)

Toward a systematic pragmatics
per: Martin, Richard Milton
Publicat: (1959)

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

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

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

Applied boolean algebra: an elementary introduction
per: Hohn, Franz E
Publicat: (1966)

Theory construction: from verbal to mathematical formulations
per: Blalock, Hubert M
Publicat: (1969)

An introduction to digital computing
per: Arden, Bruce W
Publicat: (1963)

Introductory formal logic of mathematics
per: Nidditch, P. H.
Publicat: (1957)

Elements of mathematical logic
per: Lukasiewicz, Jan
Publicat: (1963)

Mathematical logic
per: Shoenfield, Joseph R
Publicat: (1967)

Notes on logic
per: Lyndon, Roger C.
Publicat: (1966)

A theory of formal deducibility
per: Curry, Haskell B
Publicat: (1950)

Logic for mathematicians
per: Rosser, J. Barkley
Publicat: (1953)

First-order logic
per: Smullyan, Raymond M
Publicat: (1968)

Many-valued logics
per: Rosser, J. Barkley, et al.
Publicat: (1952)

Model theory: An Introduction
per: Marker, David
Publicat: (2002)

Introduction to Mathematical Logic
per: Dinkines, Flora
Publicat: (1964)

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

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

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

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

Introducción al simbolismo lógico
per: Bosch, Jorge E
Publicat: (1971)

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

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

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

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