Computability and unsolvability
Tallennettuna:
| Päätekijä: | Davis, Martin (Tekijä) |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | englanti |
| Julkaistu: |
Nueva York
Dover
1982
|
| Sarja: | Dover Books on Mathematics
|
| Aiheet: | |
| 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)
Tekijä: Hermes, Hans
Julkaistu: (1969)
Computability and unsolvability
Tekijä: Davis, Martin
Julkaistu: (1958)
Tekijä: Davis, Martin
Julkaistu: (1958)
Computations in higher types
Tekijä: Moldestad, Johan
Julkaistu: (1977)
Tekijä: Moldestad, Johan
Julkaistu: (1977)
Degrees of unsolvability: structure and theory
Tekijä: Epstein, Richard L
Julkaistu: (1979)
Tekijä: Epstein, Richard L
Julkaistu: (1979)
A course in mathematical logic
Tekijä: Manin, Yuri Ivanovich
Julkaistu: (1977)
Tekijä: Manin, Yuri Ivanovich
Julkaistu: (1977)
Logic, computers, and sets
Tekijä: Wang, Hao
Julkaistu: (1970)
Tekijä: Wang, Hao
Julkaistu: (1970)
Mathematical Logic
Tekijä: Monk, James Donald
Julkaistu: (1976)
Tekijä: Monk, James Donald
Julkaistu: (1976)
Theory of computation
Tekijä: Brainerd, Walter S, et al.
Julkaistu: (1974)
Tekijä: Brainerd, Walter S, et al.
Julkaistu: (1974)
An algebraic introduction to mathematical logic
Tekijä: Barnes, Donald W, et al.
Julkaistu: (1975)
Tekijä: Barnes, Donald W, et al.
Julkaistu: (1975)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
Julkaistu: (1965)
Julkaistu: (1965)
Introducción a la teoría matemática de las computadoras y de la programación
Tekijä: Trajtenbrot, B. A
Julkaistu: (1967)
Tekijä: Trajtenbrot, B. A
Julkaistu: (1967)
Teoría de autómatas y lenguajes formales
Tekijä: Kelley, Dean
Julkaistu: (1995)
Tekijä: Kelley, Dean
Julkaistu: (1995)
Graphs and digraphs
Tekijä: Chartrand, Gary, et al.
Julkaistu: (2011)
Tekijä: Chartrand, Gary, et al.
Julkaistu: (2011)
Los principios de la matemática
Tekijä: Russell, Bertrand
Julkaistu: (1948)
Tekijä: Russell, Bertrand
Julkaistu: (1948)
Toward a systematic pragmatics
Tekijä: Martin, Richard Milton
Julkaistu: (1959)
Tekijä: Martin, Richard Milton
Julkaistu: (1959)
Solved problems: Gamma and Beta functions, legendre polynomials, Bessel functions
Tekijä: Farrell, Orin J, et al.
Julkaistu: (1963)
Tekijä: Farrell, Orin J, et al.
Julkaistu: (1963)
The logical basis for computer programming
Tekijä: Manna, Zohar, et al.
Julkaistu: (1985)
Tekijä: Manna, Zohar, et al.
Julkaistu: (1985)
Estructuras matemáticas finitas
Tekijä: Kemeny, John G, et al.
Julkaistu: (1970)
Tekijä: Kemeny, John G, et al.
Julkaistu: (1970)
Applied boolean algebra: an elementary introduction
Tekijä: Hohn, Franz E
Julkaistu: (1966)
Tekijä: Hohn, Franz E
Julkaistu: (1966)
Theory construction: from verbal to mathematical formulations
Tekijä: Blalock, Hubert M
Julkaistu: (1969)
Tekijä: Blalock, Hubert M
Julkaistu: (1969)
An introduction to digital computing
Tekijä: Arden, Bruce W
Julkaistu: (1963)
Tekijä: Arden, Bruce W
Julkaistu: (1963)
Introductory formal logic of mathematics
Tekijä: Nidditch, P. H.
Julkaistu: (1957)
Tekijä: Nidditch, P. H.
Julkaistu: (1957)
Elements of mathematical logic
Tekijä: Lukasiewicz, Jan
Julkaistu: (1963)
Tekijä: Lukasiewicz, Jan
Julkaistu: (1963)
Mathematical logic
Tekijä: Shoenfield, Joseph R
Julkaistu: (1967)
Tekijä: Shoenfield, Joseph R
Julkaistu: (1967)
Notes on logic
Tekijä: Lyndon, Roger C.
Julkaistu: (1966)
Tekijä: Lyndon, Roger C.
Julkaistu: (1966)
A theory of formal deducibility
Tekijä: Curry, Haskell B
Julkaistu: (1950)
Tekijä: Curry, Haskell B
Julkaistu: (1950)
Logic for mathematicians
Tekijä: Rosser, J. Barkley
Julkaistu: (1953)
Tekijä: Rosser, J. Barkley
Julkaistu: (1953)
First-order logic
Tekijä: Smullyan, Raymond M
Julkaistu: (1968)
Tekijä: Smullyan, Raymond M
Julkaistu: (1968)
Many-valued logics
Tekijä: Rosser, J. Barkley, et al.
Julkaistu: (1952)
Tekijä: Rosser, J. Barkley, et al.
Julkaistu: (1952)
Model theory: An Introduction
Tekijä: Marker, David
Julkaistu: (2002)
Tekijä: Marker, David
Julkaistu: (2002)
Introduction to Mathematical Logic
Tekijä: Dinkines, Flora
Julkaistu: (1964)
Tekijä: Dinkines, Flora
Julkaistu: (1964)
Qué son los números ?: el método axiomático
Tekijä: Chuaqui, Rolando Basim
Julkaistu: (1980)
Tekijä: Chuaqui, Rolando Basim
Julkaistu: (1980)
Introducción a la lógica simbólica
Tekijä: Stahl, Gerold
Julkaistu: (1968)
Tekijä: Stahl, Gerold
Julkaistu: (1968)
Epistemología matemática y psicología
Tekijä: Beth, Evert W, et al.
Julkaistu: (1980)
Tekijä: Beth, Evert W, et al.
Julkaistu: (1980)
Introducción a la lógica matemática
Tekijä: Galicia Arrambide, Moisés
Julkaistu: (1980)
Tekijä: Galicia Arrambide, Moisés
Julkaistu: (1980)
Introducción al simbolismo lógico
Tekijä: Bosch, Jorge E
Julkaistu: (1971)
Tekijä: Bosch, Jorge E
Julkaistu: (1971)
Identidad en la lógica matemática
Tekijä: Nemesszeghy Voros, Elemer
Julkaistu: (1967)
Tekijä: Nemesszeghy Voros, Elemer
Julkaistu: (1967)
Introducción a la lógica simbólica
Tekijä: Suppes, Patrick
Julkaistu: (1966)
Tekijä: Suppes, Patrick
Julkaistu: (1966)
El desarrollo de la lógica matemática
Tekijä: Nidditch, P. H.
Julkaistu: (1980)
Tekijä: Nidditch, P. H.
Julkaistu: (1980)
El juego de la lógica y otros escritos
Tekijä: Carroll, Lewis
Julkaistu: (1984)
Tekijä: Carroll, Lewis
Julkaistu: (1984)
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)