Beeld op de omslag

Computability and unsolvability

Toon andere (1) versies

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Davis, Martin (Auteur)
Formaat:	Boek
Taal:	Engels
Gepubliceerd in:	Nueva York McGraw-Hill 1958
Onderwerpen:	INSOLUBILIDAD LOGICA MATEMATICA FUNCIONES RECURSIVAS FUNCIONES COMPUTABLES
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Computability and unsolvability
door: Davis, Martin
Gepubliceerd in: (1982)

Computations in higher types
door: Moldestad, Johan
Gepubliceerd in: (1977)

Degrees of unsolvability: structure and theory
door: Epstein, Richard L
Gepubliceerd in: (1979)

Mathematical Logic
door: Monk, James Donald
Gepubliceerd in: (1976)

Theory of computation
door: Brainerd, Walter S, et al.
Gepubliceerd in: (1974)

Enumerability, decidability, computability: an introduction to the theory of recursive functions
door: Hermes, Hans
Gepubliceerd in: (1969)

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

Graphs and digraphs
door: Chartrand, Gary, et al.
Gepubliceerd in: (2011)

Análisis matemático en el campo de funciones racionales
door: Shilov, G. E
Gepubliceerd in: (1984)

Theory and application of Mathieu functions
door: McLachlan, Norman William
Gepubliceerd in: (1964)

Los principios de la matemática
door: Russell, Bertrand
Gepubliceerd in: (1948)

Introduction to the arithmetic theory of automorphic functions
door: Shimura, Goro
Gepubliceerd in: (1971)

Green's functions with applications
door: Duffy, Dean G
Gepubliceerd in: (2001)

System BIOS for IBM PC-XT-AT: computers and compatibles
Gepubliceerd in: (1989)

Elements of the theory of functions and functional analysis
door: Kolmogórov, Andréi Nikolaevich, et al.
Gepubliceerd in: (1957)

Algebra y trigonometría con geometría analítica
door: Goodman, Arthur, et al.
Gepubliceerd in: (1996)

Theory construction: from verbal to mathematical formulations
door: Blalock, Hubert M
Gepubliceerd in: (1969)

La noción de función: análisis epistemológico y didáctico
door: Ruiz Higueras, Luisa
Gepubliceerd in: (1998)

Special functions and their applications
door: Lebedev, N. N
Gepubliceerd in: (1972)

Sur l'enseignement de l'analyse
door: Barra, Raymond, et al.
Gepubliceerd in: (1976)

Precalculus: enhanced with graphing utilities
door: Sullivan, Michael
Gepubliceerd in: (2003)

Circular and hyperbolic functions, exponential and sine and cosine integrals, factorial function, allied functions, hermitian probability functions
Gepubliceerd in: (1951)

Análisis funcional: teoría y aplicaciones
door: Brezis, Haim
Gepubliceerd in: (1984)

Algebra superior moderna
door: Vance, Elbridge Putnam
Gepubliceerd in: (1962)

Estructuras matemáticas finitas
door: Kemeny, John G, et al.
Gepubliceerd in: (1970)

The Lanczos and conjugate gradient algorithms: from theory to finite precision computations
door: Meurant, Gérard
Gepubliceerd in: (2006)

Applied boolean algebra: an elementary introduction
door: Hohn, Franz E
Gepubliceerd in: (1966)

Cálculo integral: metodología y problemas
door: Coquillat, Fernando
Gepubliceerd in: (1999)

Introduction to Arakelov theory
door: Lang, Serge
Gepubliceerd in: (1988)

Cálculo diferencial
door: Fuenlabrada de la Vega Trucíos, Samuel
Gepubliceerd in: (2001)

Finite mathematical structures
door: Kemeny, John G, et al.
Gepubliceerd in: (1959)

Variable compleja y aplicaciones
door: Churchill, Ruel Vance, et al.
Gepubliceerd in: (1992)

Análise real
door: Lima, Elon Lages
Gepubliceerd in: (2013)

Análise real
door: Lima, Elon Lages
Gepubliceerd in: (2013)

Fuchsian groups
door: Katok, Svetlana
Gepubliceerd in: (1992)

Calculus with applications and computing
door: Lax, Peter D, et al.
Gepubliceerd in: (1976)

Multivariable calculus
door: McCallum, William G., et al.
Gepubliceerd in: (1997)

Multivariable calculus
door: Stewart, James
Gepubliceerd in: (2012)

Proceedings of the Summer School in Logic Leeds, 1967
Gepubliceerd in: (1968)

Cálculo diferencial de varias variables
door: Fernández Pérez, Carlos, et al.
Gepubliceerd in: (2002)