Computability & unsolvability.

Computability & unsolvability.

Guardado en:

Detalles Bibliográficos
Autor principal:	Davis, Martin
Formato:	Libro
Lenguaje:	Inglés
Publicado:	New York : Dover, 1982.
Materias:	Lógica matemática

Ejemplares similares

The undecidable : basic papers on Undecidable, propositions, unsolvable problems and computable functions.
Publicado: (1965.)

El pensamiento lógico-matemático : : elementos de heurística y apodíctica demostrativa /
por: Sagüillo Fernández Vega, José Miguel.
Publicado: (2008.)

Elements of Mathematical Logic.
por: Novikov, P. S.
Publicado: (1964.)

What is mathematical logic?.
por: Crossley, J.N.
Publicado: (1990.)

Fundamentos de la matemática discreta
por: Gorbatov, V. A.
Publicado: (c1988.)

Matemáticas y razonamiento plausible
por: Polya, George
Publicado: (1966.)

Primer curso de lógica matemática
por: Suppes, Patrick
Publicado: (1968.)

Fundamentos de lógica y matemática
por: Carnap, Rudolf
Publicado: (1975.)

El álgebra de la lógica
por: Couturat, Louis
Publicado: (1976.)

Lógica divergente
por: Haack, Susan
Publicado: (1980.)

Scritti di logica.
por: Leibniz, Gottfried Wilhelm, 1646-1716
Publicado: (1972.)

El desarrollo de la lógica matemática.
por: Nidditch, P.H.
Publicado: (1995.)

A survey of mathematical Logic.
por: Wang, Hao
Publicado: (1964.)

Lógica combinatoria
por: Curry, Haskell B.
Publicado: (1967.)

Popular lectures on mathematical logic.
por: Wang, Hao, 1921-
Publicado: (1993.)

Axiomatic set theory.
por: Suppes, Patrick
Publicado: (c1972.)

First order mathematical logic.
por: Margaris, Angelo
Publicado: (1990.)

Set theory and logic.
por: Fraenkel, Abraham A.
Publicado: (1966.)

First order Mathematical Logic.
por: Margaris, Angelo
Publicado: (1967.)

Lógica combinatoria.
por: Curry, Haskell B.
Publicado: (1967.)

Introducción a la lógica
por: Copi, Irving Marmer
Publicado: (c1987.)

Introducción a la lógica /
por: Gamut, L. T. F.
Publicado: (c2002.)

Remarks on the foundations of Mathematics : Bemerkungen über die grundlagen der Mathematik..
Publicado: (1972.)

Mathematical logic and the foundations of mathematics : an introductory survey.
por: Kneebone, G. T.
Publicado: (c1963.)

Foundations of mathematical logic.
por: Curry, Haskell B.
Publicado: (1977.)

Mathematical logic : a first course.
por: Robbin, Joel W.
Publicado: (1969.)

Set theory and its logic.
por: Quine, Willard Van Orman
Publicado: (1963.)

La regla de cálculo.
por: Médici, Héctor J.
Publicado: (1960.)

El concepto de modelo : : bases para una epistemología materialista de las matemáticas
por: Badiou, Alain.
Publicado: (1972.)

Introduccion a la filosofia matematica.
por: Russell, Bertrand
Publicado: (1988.)

Los fundamentos de la artimética : investigación lógica-matemática sobre el concepto de número
por: Frege, Gottlob
Publicado: (1972.)

Lógica simbólica
por: Copi, Irving Marmer
Publicado: (1979.)

Introducción a la Teoría de la Deducción : Aspectos Sintácticos de la Lógica.
por: Lungarzo, Carlos, 1943-
Publicado: (1986.)

Ensayo de lógica modal : teoría general de las obligaciones /
por: Wright, Georg Henrik Von,
Publicado: (2019)

Introducción a la lógica y al método científico. I.
por: Cohen, Morris.
Publicado: (2000.)

Introducción a la lógica y al Método Científico 1 : Lógica Formal.
por: Cohen, Morris.
Publicado: (1990.)

Introducción a la teoría de la lógica /
por: Zalabardo, José Luis.
Publicado: (2002.)

Matrix computations
por: Golub, Gene H.
Publicado: (c1989.)

Introduction to logic and to the methodology of deductive sciences.
por: Tarski, Alfred
Publicado: (1995.)

Manual de fórmulas y tablas matemáticas : 2400 fórmulas y 60 tablas.
por: Spiegel, Murray R.
Publicado: (1987.)