Imaxe de Portada

Computability and unsolvability

Show other versions (1)

Gardado en:

Detalles Bibliográficos
Autor Principal:	Davis, Martin (Author)
Formato:	Libro
Idioma:	inglés
Publicado:	Nueva York McGraw-Hill 1958
Subjects:	INSOLUBILIDAD LOGICA MATEMATICA FUNCIONES RECURSIVAS FUNCIONES COMPUTABLES
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares

Computability and unsolvability
por: Davis, Martin
Publicado: (1982)

Computations in higher types
por: Moldestad, Johan
Publicado: (1977)

Degrees of unsolvability: structure and theory
por: Epstein, Richard L
Publicado: (1979)

Mathematical Logic
por: Monk, James Donald
Publicado: (1976)

Theory of computation
por: Brainerd, Walter S, et al.
Publicado: (1974)

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

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

Graphs and digraphs
por: Chartrand, Gary, et al.
Publicado: (2011)

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

Theory and application of Mathieu functions
por: McLachlan, Norman William
Publicado: (1964)

Los principios de la matemática
por: Russell, Bertrand
Publicado: (1948)

Introduction to the arithmetic theory of automorphic functions
por: Shimura, Goro
Publicado: (1971)

Green's functions with applications
por: Duffy, Dean G
Publicado: (2001)

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

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

Algebra y trigonometría con geometría analítica
por: Goodman, Arthur, et al.
Publicado: (1996)

Theory construction: from verbal to mathematical formulations
por: Blalock, Hubert M
Publicado: (1969)

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

Special functions and their applications
por: Lebedev, N. N
Publicado: (1972)

Sur l'enseignement de l'analyse
por: Barra, Raymond, et al.
Publicado: (1976)

Precalculus: enhanced with graphing utilities
por: Sullivan, Michael
Publicado: (2003)

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

Análisis funcional: teoría y aplicaciones
por: Brezis, Haim
Publicado: (1984)

Algebra superior moderna
por: Vance, Elbridge Putnam
Publicado: (1962)

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

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

Applied boolean algebra: an elementary introduction
por: Hohn, Franz E
Publicado: (1966)

Cálculo integral: metodología y problemas
por: Coquillat, Fernando
Publicado: (1999)

Introduction to Arakelov theory
por: Lang, Serge
Publicado: (1988)

Cálculo diferencial
por: Fuenlabrada de la Vega Trucíos, Samuel
Publicado: (2001)

Finite mathematical structures
por: Kemeny, John G, et al.
Publicado: (1959)

Variable compleja y aplicaciones
por: Churchill, Ruel Vance, et al.
Publicado: (1992)

Análise real
por: Lima, Elon Lages
Publicado: (2013)

Análise real
por: Lima, Elon Lages
Publicado: (2013)

Fuchsian groups
por: Katok, Svetlana
Publicado: (1992)

Calculus with applications and computing
por: Lax, Peter D, et al.
Publicado: (1976)

Multivariable calculus
por: McCallum, William G., et al.
Publicado: (1997)

Multivariable calculus
por: Stewart, James
Publicado: (2012)

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

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