Computability and unsolvability
Saved in:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 語言: | 英语 |
| 出版: |
Nueva York
Dover
1982
|
| 叢編: | Dover Books on Mathematics
|
| 主題: | |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
Enumerability, decidability, computability: an introduction to the theory of recursive functions
由: Hermes, Hans
出版: (1969)
由: Hermes, Hans
出版: (1969)
Computability and unsolvability
由: Davis, Martin
出版: (1958)
由: Davis, Martin
出版: (1958)
Computations in higher types
由: Moldestad, Johan
出版: (1977)
由: Moldestad, Johan
出版: (1977)
Degrees of unsolvability: structure and theory
由: Epstein, Richard L
出版: (1979)
由: Epstein, Richard L
出版: (1979)
A course in mathematical logic
由: Manin, Yuri Ivanovich
出版: (1977)
由: Manin, Yuri Ivanovich
出版: (1977)
Logic, computers, and sets
由: Wang, Hao
出版: (1970)
由: Wang, Hao
出版: (1970)
Mathematical Logic
由: Monk, James Donald
出版: (1976)
由: Monk, James Donald
出版: (1976)
Theory of computation
由: Brainerd, Walter S, et al.
出版: (1974)
由: Brainerd, Walter S, et al.
出版: (1974)
An algebraic introduction to mathematical logic
由: Barnes, Donald W, et al.
出版: (1975)
由: Barnes, Donald W, et al.
出版: (1975)
Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
出版: (1965)
出版: (1965)
Introducción a la teoría matemática de las computadoras y de la programación
由: Trajtenbrot, B. A
出版: (1967)
由: Trajtenbrot, B. A
出版: (1967)
Teoría de autómatas y lenguajes formales
由: Kelley, Dean
出版: (1995)
由: Kelley, Dean
出版: (1995)
Graphs and digraphs
由: Chartrand, Gary, et al.
出版: (2011)
由: Chartrand, Gary, et al.
出版: (2011)
Los principios de la matemática
由: Russell, Bertrand
出版: (1948)
由: Russell, Bertrand
出版: (1948)
Toward a systematic pragmatics
由: Martin, Richard Milton
出版: (1959)
由: Martin, Richard Milton
出版: (1959)
Solved problems: Gamma and Beta functions, legendre polynomials, Bessel functions
由: Farrell, Orin J, et al.
出版: (1963)
由: Farrell, Orin J, et al.
出版: (1963)
The logical basis for computer programming
由: Manna, Zohar, et al.
出版: (1985)
由: Manna, Zohar, et al.
出版: (1985)
Estructuras matemáticas finitas
由: Kemeny, John G, et al.
出版: (1970)
由: Kemeny, John G, et al.
出版: (1970)
Applied boolean algebra: an elementary introduction
由: Hohn, Franz E
出版: (1966)
由: Hohn, Franz E
出版: (1966)
Theory construction: from verbal to mathematical formulations
由: Blalock, Hubert M
出版: (1969)
由: Blalock, Hubert M
出版: (1969)
An introduction to digital computing
由: Arden, Bruce W
出版: (1963)
由: Arden, Bruce W
出版: (1963)
Introductory formal logic of mathematics
由: Nidditch, P. H.
出版: (1957)
由: Nidditch, P. H.
出版: (1957)
Elements of mathematical logic
由: Lukasiewicz, Jan
出版: (1963)
由: Lukasiewicz, Jan
出版: (1963)
Mathematical logic
由: Shoenfield, Joseph R
出版: (1967)
由: Shoenfield, Joseph R
出版: (1967)
Notes on logic
由: Lyndon, Roger C.
出版: (1966)
由: Lyndon, Roger C.
出版: (1966)
A theory of formal deducibility
由: Curry, Haskell B
出版: (1950)
由: Curry, Haskell B
出版: (1950)
Logic for mathematicians
由: Rosser, J. Barkley
出版: (1953)
由: Rosser, J. Barkley
出版: (1953)
First-order logic
由: Smullyan, Raymond M
出版: (1968)
由: Smullyan, Raymond M
出版: (1968)
Many-valued logics
由: Rosser, J. Barkley, et al.
出版: (1952)
由: Rosser, J. Barkley, et al.
出版: (1952)
Model theory: An Introduction
由: Marker, David
出版: (2002)
由: Marker, David
出版: (2002)
Introduction to Mathematical Logic
由: Dinkines, Flora
出版: (1964)
由: Dinkines, Flora
出版: (1964)
Qué son los números ?: el método axiomático
由: Chuaqui, Rolando Basim
出版: (1980)
由: Chuaqui, Rolando Basim
出版: (1980)