A tour through mathematical logic /

QR Code

A tour through mathematical logic /

Bibliographic Details
Main Author:	Wolf, Robert S. (Author, Autor/a)
Format:	Book
Language:	English
Published:	Washington, D.C. : Mathematical Association of America, c2005.
Series:	The Carus mathematical monographs
Subjects:	LOGICA, SIMBOLICA Y MATEMATICA ALGEBRA ABSTRACTA PROBLEMAS, EJERCICIOS, ETC. TEORIA AXIOMATICA DE CONJUNTOS TEOREMA DE GODEL MATEMATICAS CONSTRUCTIVAS MATEMATICOS BIOGRAFIAS

Similar Items

The Axiomatic method: an introduction to mathematical logic.
by: Lightstone, A. H., et al.
Published: (1964)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
by: Mostowski, Andrzej, et al.
Published: (1964)

The Philosophical significance of Goedel's theorem
by: Dummett, Michael 1925-2011, et al.
Published: (1963)

Elements of logic and foundations of mathematics in problems /
by: Marek, Wiktor, et al.
Published: (1982)

La structure algebrique des theories mathematiques /
by: Henkin, León, et al.
Published: (1956)

Lógica simbólica /
by: Copi, Irving M., et al.
Published: (1973)

Lógica simbólica /
by: Copi, Irving M., et al.
Published: (1979)

Modèles en Arithmétique Bornée /
by: Chinchilla, Eugenio, et al.
Published: (2001)

The mathematics of logic : a guide to completeness theorems and their applications /
by: Kaye, Richard, et al.
Published: (2007)

Mathematical logic
by: Shoenfield, Joseph Robert 1927-, et al.
Published: (1967)

A course on mathematical logic /
by: Srivastava, Shashi Mohan
Published: (2008)

A course on mathematical logic /
Published: (2013)

Pratica : proofs, types and categories /
by: Hermann Haeusler, Edward
Published: (1999)

Set theory and logic
by: Stoll, Robert Roth, et al.
Published: (1963)

Set theory and logic
by: Stoll, Robert R.
Published: (1963)

Sets, logic and axiomatic theories /
by: Stoll, Robert Roth, et al.
Published: (1961)

The undecidable: basic papers on undecidable propositions, unsolvable problems and computable functions /
by: Davis, Martin 1928-
Published: (1965)

Logic in Elementary Mathematics /
by: Exner, Robert M.
Published: (1959)

A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
by: Bouvere, Karel Louis de, et al.
Published: (1959)

Mathematics and logic : retrospect and prospects /
by: Kac, Mark, et al.
Published: (1969)

Mathematical logic
by: Klenne, Stephen Cole
Published: (1967)

Mathematical logic
by: Monk, James Donald 1930-, et al.
Published: (1976)

Mathematical logic /
by: Quine, Willard Van Orman, et al.
Published: (1951)

Mathematical logic /
by: Quine, Willard Van Orman, et al.
Published: (1981)

Sets and logic /
by: Hanna, Samuel C., et al.
Published: (1971)

Logic in Elementary Mathematics /
by: Exner, Robert M.
Published: (1959)

Set theory and logic /
by: Fraenkel, Abraham Adolf 1891-1965, et al.
Published: (1966)

Mathematical logic and the foundation of mathematics: an introductory survey
by: Kneebone, G.T.
Published: (1963)

Foundations of mathematical logic
by: Curry, Haskell B.
Published: (1963)

Introduction to mathematical logic /
by: Mendelson, Elliott 1931-2020, et al.
Published: (1997)

Foundations of mathematical logic /
by: Curry, Haskell Brooks n. 1900, et al.
Published: (1963)

Handbook of mathematical logic /
by: Barwise, Jon
Published: (1978)

Introduction to mathematical logic /
by: Mendelson, Elliott 1931-2020, et al.
Published: (1964)

Introduction to mathematical logic /
by: Church, Alonzo n. 1903, et al.
Published: (1956)

The Elements of mathematical logic /
by: Rosenbloom, Paul C., et al.
Published: (1950)

Elements of mathematical logic.
by: Novikov, Petr Sergeevich, et al.
Published: (1964)

Principles of mathematical logic /
by: Hilbert, David 1862-1943, et al.
Published: (1950)

Course of mathematical logic /
by: Fraisse, Roland, et al.
Published: (1973)

Introduction to mathematical logic
by: Hermes, Hans
Published: (1973)

Lógica axiomática.
by: González Carloman, Antonio.
Published: (1975)