Imagen de Portada

Logic and structure /

Guardado en:

Autor Principal:	Dalen, D. van 1932-
Formato:	Libro
Idioma:	English
Publicado:	Berlin ; New York : Springer-Verlag, c1994.
Edición:	3rd augm. ed.
Series:	Universitext
Materias:	Logic, Symbolic and mathematical.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Logic and structure /
por: Dalen, D. van 1932-
Publicado: (2013) - 3rd augm. ed.

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

Introduction to mathematical logic /
por: Mendelson, Elliott.
Publicado: (1987) - 3rd augm. ed.

Computability, complexity, logic /
por: Börger, E. 1946-
Publicado: (1989) - 3rd augm. ed.

Introducció a la lgica /
por: Barrière Figueroa, Eulalia.
Publicado: (2006) - 3rd augm. ed.

Introducción a la historia a la filosofía de la matemática. Volumen 2, hacia la formalización en Hilbert y en Bourbaki /
por: Campos, Alberto,
Publicado: (2008) - 3rd augm. ed.

An introduction to non-classical logic : from if to is /
por: Priest, Graham.
Publicado: (2008) - 3rd augm. ed.

EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
por: Kemel, George,
Publicado: (2020) - 3rd augm. ed.

Applied logic /
por: Hansen, Kaj Børge.
Publicado: (1996) - 3rd augm. ed.

Meta-logics and logic programming /
Publicado: (1995) - 3rd augm. ed.

Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996) - 3rd augm. ed.

Elementos básicos de matemáticas con herramientas interactivas /
por: Grisales Aguire, Andrés Mauricio,
Publicado: (2018) - 3rd augm. ed.

Logic and its applications /
por: Burke, Edmund, Ph. D.
Publicado: (1996) - 3rd augm. ed.

Cornerstones of undecidability /
por: Rozenberg, Grzegorz.
Publicado: (1994) - 3rd augm. ed.

Logics of time and computation /
por: Goldblatt, Robert.
Publicado: (1992) - 3rd augm. ed.

Logic : techniques of formal reasoning /
por: Kalish, Donald.
Publicado: (1964) - 3rd augm. ed.

Logic for mathematicians /
por: Hamilton, A. G., 1943-
Publicado: (1988) - 3rd augm. ed.

Notes on logic /
por: Lyndon, Roger C.
Publicado: (1966) - 3rd augm. ed.

Elementary logic /
por: Mates, Benson, 1919-
Publicado: (1965) - 3rd augm. ed.

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

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

Mathematical logic /
por: Kleene, Stephen Cole, 1909-1994.
Publicado: (2002) - 3rd augm. ed.

Many-valued logics /
por: Bolc, Leonard, 1934-
Publicado: (1992) - 3rd augm. ed.

Lógica de enunciados algunos aspectos básicos /
por: Herrera Madrigal, José.
Publicado: (1995) - 3rd augm. ed.

Advanced logic for applications /
por: Grandy, Richard E.
Publicado: (1977) - 3rd augm. ed.

A course in mathematical logic /
por: Manin, IU. I.
Publicado: (1977) - 3rd augm. ed.

Logic for computer science /
por: Reeves, Steve, 1957-
Publicado: (1990) - 3rd augm. ed.

A course in mathematical logic /
por: Bell, J. L.
Publicado: (1977) - 3rd augm. ed.

Handbook of mathematical logic /
Publicado: (1977) - 3rd augm. ed.

Elements of mathematical logic /
por: Novikov, P. S.
Publicado: (1964) - 3rd augm. ed.

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

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

Theory of logical calculi : basic theory of consequence operations /
por: Wójcicki, Ryszard.
Publicado: (1988) - 3rd augm. ed.

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

Handbook of logic in artificial intelligence and logic programming /
Publicado: (1993) - 3rd augm. ed.

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

Proceedings of the IX Latin American Symposium on Mathematical Logic.
Publicado: (1993) - 3rd augm. ed.

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

Lattices to logic /
por: Dubisch, Roy, 1917-
Publicado: (1964) - 3rd augm. ed.

Logic-based artificial intelligence /
Publicado: (2000) - 3rd augm. ed.