Foundations of mathematical logic.

Foundations of mathematical logic.

Guardado en:

Detalles Bibliográficos
Autor principal:	Curry, Haskell B.
Formato:	Libro
Lenguaje:	Inglés
Publicado:	New York : Dover, 1977.
Materias:	Lógica matemática Matemáticas Algoritmos

Ejemplares similares

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

Discrete algorithmic mathematics /
por: Maurer, Stephen B.
Publicado: (c1991.)

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

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

Mathematics and logic.
por: Kac, Mark
Publicado: (1992.)

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

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

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

An introduction to Mathematical Logic.
por: Robison, Gerson B.
Publicado: (c1969.)

Mathematical Logic.
por: Shoenfield, Joseph R.
Publicado: (1967.)

Mathematical logic.
por: Kleene, Stephen Cole
Publicado: (1968.)

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

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

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

Introduction to Mathematical Logic.
por: Mendelson, Elliott
Publicado: (1964.)

The elements of mathematical logic /
por: Rosenbloom, Paul C.
Publicado: (1950.)

Foundations of mathematical logic. /
por: Curry, Haskell B. 1900-
Publicado: ([1963])

A profile of mathematical Logic.
por: Delong, Howard
Publicado: (1970.)

Introduction to elementary mathematical logic.
por: Stolyar, Abram Aronovich
Publicado: (1983.)

Principles of mathematical logic /
por: Hilbert, David, 1862-1943.
Publicado: (1950.)

Teoría de los algoritmos lineales de convergencia y de sumación
por: Rey Pastor, Julio
Publicado: (2006.)

Algebraic methods of mathematical logic.
por: Rieger, Ladislav, 1916-1974
Publicado: (1967.)

Introduction to mathematical logic.
por: Church, Alonzo, 1903-
Publicado: (1956.)

Control de errores en la algorítmica /
por: García Merayo, Félix
Publicado: (D.L. 1991)

Algoritmos : : problemas resueltos y comentados /
por: Fernández, Joaquín
Publicado: (1992.)

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

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

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

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

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

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

Set theory and logic.
por: Stoll, Robert R.
Publicado: (1979.)

El algoritmo de Karmarkar
por: VERA DE SERIO, Virginia N.

Introduction to Logic.
por: Suppes, Patrick
Publicado: (c1957.)

Elements of symbolic logic /
por: Reichenbach, Hans, 1891-1953.
Publicado: (1947.)

Set theory and logic.
por: Stoll, Robert R.
Publicado: (1963.)

Logic, Semantics, Metamathematics : papers from 1923 to 1938.
por: Tarski, Alfred
Publicado: (1956.)

The gentle art of mathematics.
por: Pedoe, Dan
Publicado: (1973.)

Introducción a la teoría de grafos y sus algoritmos
por: Jordán Lluch, Cristina.
Publicado: (1996)

Matching obtenido según el orden de entada de los agentes.
por: Farés, Yasmín , et al.
Publicado: (2016)