Imagen de Portada

Introduction to the foundations of mathematics /

Guardado en:

Autor Principal:	Wilder, Raymond Louis, 1896-
Formato:	Libro
Idioma:	English
Publicado:	New York : Wiley, c1965.
Edición:	2nd ed.
Materias:	Mathematics > Philosophy. Logic, Symbolic and mathematical.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Foundations of mathematics /
por: Hatcher, William S.
Publicado: (1968) - 2nd ed.

Mathematical logic /
por: Kleene, Stephen Cole, 1909-1994.
Publicado: (2002) - 2nd ed.

Introduction to mathematical logic /
por: Mendelson, Elliott.
Publicado: (1987) - 2nd ed.

The semantic foundations of logic /
por: Epstein, Richard L., 1947-
Publicado: (1995) - 2nd ed.

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
por: Kerkhove, Bart.
Publicado: (2007) - 2nd ed.

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
por: Benthem, Johan.
Publicado: (2006) - 2nd ed.

Mathematical Problems from Applied Logic II Logics for the XXIst Century /
por: Gabbay, Dov M.
Publicado: (2007) - 2nd ed.

The Arché Papers on the Mathematics of Abstraction
por: Cook, Roy T.
Publicado: (2007) - 2nd ed.

Mathematical logic for computer science /
por: Ben-Ari, M., 1948-
Publicado: (1993) - 2nd ed.

A course in mathematical logic /
por: Manin, IU. I.
Publicado: (1977) - 2nd ed.

A course in mathematical logic /
por: Bell, J. L.
Publicado: (1977) - 2nd ed.

Handbook of mathematical logic /
Publicado: (1977) - 2nd ed.

Elements of mathematical logic /
por: Novikov, P. S.
Publicado: (1964) - 2nd ed.

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Publicado: (1980) - 2nd ed.

An introduction to modern logic : an elementary textbook of symbolic logic /
por: Halberstadt, William Harold, 1930-
Publicado: (1960) - 2nd ed.

The two-valued iterative systems of mathematical logic /
por: Post, Emil Leon, 1897-1954.
Publicado: (1941) - 2nd ed.

Proceedings of the IX Latin American Symposium on Mathematical Logic.
Publicado: (1993) - 2nd ed.

18 Unconventional Essays on the Nature of Mathematics
por: Hersh, Reuben.
Publicado: (2006) - 2nd ed.

Mathematical problems from applied logic I : logics for the XXIst century /
Publicado: (2006) - 2nd ed.

The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" /
por: Manna, Zohar.
Publicado: (1993) - 2nd ed.

Semantic construction of intuitionistic logic /
por: Beth, Evert Willem.
Publicado: (1956) - 2nd ed.

Semantic entailment and formal derivability /
por: Beth, Evert Willem.
Publicado: (1955) - 2nd ed.

Applied logic /
por: Hansen, Kaj Børge.
Publicado: (1996) - 2nd ed.

Algebraic methods of mathematical logic /
por: Rieger, Ladislav, 1916-1963.
Publicado: (1967) - 2nd ed.

Visualization, Explanation and Reasoning Styles in Mathematics
por: Mancosu, Paolo.
Publicado: (2005) - 2nd ed.

Propositional and Predicate Calculus A Model of Argument
por: Goldrei, Derek.
Publicado: (2005) - 2nd ed.

Théorie des ensembles
por: Bourbaki, N.
Publicado: (2006) - 2nd ed.

A Concise Introduction to Mathematical Logic
por: Rautenberg, Wolfgang.
Publicado: (2006) - 2nd ed.

Mathematical epistemology and psychology /
por: Beth, Evert Willem.
Publicado: (1966) - 2nd ed.

Elements of logic and foundations of mathematics in problems /
por: Marek, Wiktor.
Publicado: (1982) - 2nd ed.

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
por: Beth, Evert Willem.
Publicado: (1962) - 2nd ed.

Éléments de logique mathématique : théorie des modèles /
por: Kreisel, Georg.
Publicado: (1967) - 2nd ed.

Meta-logics and logic programming /
Publicado: (1995) - 2nd ed.

Logic and its applications /
por: Burke, Edmund, Ph. D.
Publicado: (1996) - 2nd ed.

Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996) - 2nd ed.

Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
Publicado: (1994) - 2nd ed.

Elementary logic /
por: Mates, Benson, 1919-
Publicado: (1965) - 2nd ed.

Logic and structure /
por: Dalen, D. van 1932-
Publicado: (1994) - 2nd ed.

Logic and structure /
por: Dalen, D. van 1932-
Publicado: (2013) - 2nd ed.

Advanced logic for applications /
por: Grandy, Richard E.
Publicado: (1977) - 2nd ed.