Imagen de Portada

A Concise Introduction to Mathematical Logic

Guardado en:

Autor Principal:	Rautenberg, Wolfgang.
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico
Idioma:	English
Publicado:	New York, NY : Springer Science+Business Media, Inc., 2006.
Edición:	2.
Series:	Universitext
Materias:	Mathematics Computer science Logic, Symbolic and mathematical Mathematical Logic and Foundations Computational Science and Engineering
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2005) - 2.

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2007) - 2.

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
por: Artemov, Sergei N.
Publicado: (2007) - 2.

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

Mathematical Problems from Applied Logic I Logics for the XXIst Century /
por: Gabbay, Dov M.
Publicado: (2006) - 2.

A Modern Perspective on Type Theory From its Origins until Today /
por: Kamareddine, Fairouz.
Publicado: (2005) - 2.

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

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

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

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory /
por: Lau, Dietlinde.
Publicado: (2006) - 2.

Finite Model Theory
por: Ebbinghaus, Heinz-Dieter.
Publicado: (2006) - 2.

Notes on Set Theory
por: Moschovakis, Yiannis.
Publicado: (2006) - 2.

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

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

A Modern Perspective on Type Theory From its Origins until Today /
por: Kamareddine, Fairouz.
Publicado: (2005) - 2.

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

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

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
por: Artemov, Sergei N.
Publicado: (2007) - 2.

Essence of logic /
por: Kelly, John J. 1940 Nov. 23-1995.
Publicado: (1997) - 2.

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

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

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
por: Ésik, Zoltán.
Publicado: (2006) - 2.

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
por: Ong, Luke.
Publicado: (2005) - 2.

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
por: Duparc, Jacques.
Publicado: (2007) - 2.

Problems and Theorems in Classical Set Theory
por: Komjáth, Péter.
Publicado: (2006) - 2.

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

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

Mathematical Problems from Applied Logic I Logics for the XXIst Century /
por: Gabbay, Dov M.
Publicado: (2006) - 2.

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
por: Hutter, Dieter.
Publicado: (2005) - 2.

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

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

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

Categories for Software Engineering
por: Fiadeiro, José Luiz.
Publicado: (2005) - 2.

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

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

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory /
por: Lau, Dietlinde.
Publicado: (2006) - 2.

Ernst Zermelo An Approach to His Life and Work /
por: Ebbinghaus, Heinz-Dieter.
Publicado: (2007) - 2.