Kansikuva

Computability and unsolvability

Näytä muut versiot (1)

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Davis, Martin (Tekijä)
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	Nueva York Dover 1982
Sarja:	Dover Books on Mathematics
Aiheet:	COMPUTABILIDAD FUNCIONES RECURSIVAS Lógica matemática MAQUINAS DE TURING
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

Enumerability, decidability, computability: an introduction to the theory of recursive functions
Tekijä: Hermes, Hans
Julkaistu: (1969)

Computability and unsolvability
Tekijä: Davis, Martin
Julkaistu: (1958)

Computations in higher types
Tekijä: Moldestad, Johan
Julkaistu: (1977)

Degrees of unsolvability: structure and theory
Tekijä: Epstein, Richard L
Julkaistu: (1979)

A course in mathematical logic
Tekijä: Manin, Yuri Ivanovich
Julkaistu: (1977)

Logic, computers, and sets
Tekijä: Wang, Hao
Julkaistu: (1970)

Mathematical Logic
Tekijä: Monk, James Donald
Julkaistu: (1976)

Theory of computation
Tekijä: Brainerd, Walter S, et al.
Julkaistu: (1974)

An algebraic introduction to mathematical logic
Tekijä: Barnes, Donald W, et al.
Julkaistu: (1975)

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

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

Teoría de autómatas y lenguajes formales
Tekijä: Kelley, Dean
Julkaistu: (1995)

Graphs and digraphs
Tekijä: Chartrand, Gary, et al.
Julkaistu: (2011)

Los principios de la matemática
Tekijä: Russell, Bertrand
Julkaistu: (1948)

Toward a systematic pragmatics
Tekijä: Martin, Richard Milton
Julkaistu: (1959)

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

The logical basis for computer programming
Tekijä: Manna, Zohar, et al.
Julkaistu: (1985)

Estructuras matemáticas finitas
Tekijä: Kemeny, John G, et al.
Julkaistu: (1970)

Applied boolean algebra: an elementary introduction
Tekijä: Hohn, Franz E
Julkaistu: (1966)

Theory construction: from verbal to mathematical formulations
Tekijä: Blalock, Hubert M
Julkaistu: (1969)

An introduction to digital computing
Tekijä: Arden, Bruce W
Julkaistu: (1963)

Introductory formal logic of mathematics
Tekijä: Nidditch, P. H.
Julkaistu: (1957)

Elements of mathematical logic
Tekijä: Lukasiewicz, Jan
Julkaistu: (1963)

Mathematical logic
Tekijä: Shoenfield, Joseph R
Julkaistu: (1967)

Notes on logic
Tekijä: Lyndon, Roger C.
Julkaistu: (1966)

A theory of formal deducibility
Tekijä: Curry, Haskell B
Julkaistu: (1950)

Logic for mathematicians
Tekijä: Rosser, J. Barkley
Julkaistu: (1953)

First-order logic
Tekijä: Smullyan, Raymond M
Julkaistu: (1968)

Many-valued logics
Tekijä: Rosser, J. Barkley, et al.
Julkaistu: (1952)

Model theory: An Introduction
Tekijä: Marker, David
Julkaistu: (2002)

Introduction to Mathematical Logic
Tekijä: Dinkines, Flora
Julkaistu: (1964)

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

Introducción a la lógica simbólica
Tekijä: Stahl, Gerold
Julkaistu: (1968)

Epistemología matemática y psicología
Tekijä: Beth, Evert W, et al.
Julkaistu: (1980)

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

Introducción al simbolismo lógico
Tekijä: Bosch, Jorge E
Julkaistu: (1971)

Identidad en la lógica matemática
Tekijä: Nemesszeghy Voros, Elemer
Julkaistu: (1967)

Introducción a la lógica simbólica
Tekijä: Suppes, Patrick
Julkaistu: (1966)

El desarrollo de la lógica matemática
Tekijä: Nidditch, P. H.
Julkaistu: (1980)

El juego de la lógica y otros escritos
Tekijä: Carroll, Lewis
Julkaistu: (1984)