First order mathematical logic.

First order mathematical logic.

Mostrar otras versiones (1)

Guardado en:

Detalles Bibliográficos
Autor principal:	Margaris, Angelo
Formato:	Libro
Lenguaje:	Inglés
Publicado:	New York : Dover Publications, 1990.
Materias:	Lógica matemática

Ejemplares similares

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

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

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.)

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

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

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

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

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

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

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

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

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

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

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

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

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

First-order logic.
por: Smullyan, Raymond M.
Publicado: (1994.)

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

First-order functional calculus.
por: Keene, Geoffrey
Publicado: (c1964.)

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

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

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

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

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

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

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

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

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

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

Symbolic Logic.
por: Lewis, Clarence Irving
Publicado: (c1959.)

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

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

Philosophical logic.
Publicado: (1968.)

Logical studies.
por: Wright, Georg Henrik von
Publicado: (1967.)

The Nature of Mathematics : a Critical Survey.
por: Black, Max
Publicado: (1959.)

Logic, methodology and philosophy of science.
por: Nagel, Ernest
Publicado: (1962.)

Methods of logic.
por: Quine, Willard Van Orman
Publicado: (1967.)

Truth-functional logic.
por: Faris, J. A.
Publicado: (c1962.)