Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica. Soluciones a los ejercicios
Guardat en:
| Autors principals: | Falguera López, José L (Autor), Martínez Vidal, Concepción (Autor) |
|---|---|
| Format: | Llibre |
| Idioma: | espanyol |
| Publicat: |
Madrid
Trotta
1999
|
| Col·lecció: | Colección Estructuras y Procesos. Serie Filosofía
|
| Matèries: | |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica
per: Falguera López, José L, et al.
Publicat: (1999)
per: Falguera López, José L, et al.
Publicat: (1999)
Aprendiendo a pensar: manual de razonamiento lógico para niños y jóvenes
per: Arredondo Guevara, Marcial
Publicat: (2017)
per: Arredondo Guevara, Marcial
Publicat: (2017)
Iniciación a la Lógica
per: Díez Calzada, José A
Publicat: (2002)
per: Díez Calzada, José A
Publicat: (2002)
La lógica simbólica
per: Agazzi, Evandro
Publicat: (1986)
per: Agazzi, Evandro
Publicat: (1986)
Introducción a la lógica y al método científico
per: Cohen, M, et al.
Publicat: (1971)
per: Cohen, M, et al.
Publicat: (1971)
Introducción a la lógica y al método científico
per: Cohen, Morris Raphael
Publicat: (1973)
per: Cohen, Morris Raphael
Publicat: (1973)
Lógica formal, lógica dialéctica
per: Lefebvre, Henri
Publicat: (1970)
per: Lefebvre, Henri
Publicat: (1970)
Derecho y lógica formal.
per: Manson Terrazas, Manuel
Publicat: (2006)
per: Manson Terrazas, Manuel
Publicat: (2006)
Lógica formal, lógica dialéctica
per: Lefebvre, Henri
Publicat: (2013)
per: Lefebvre, Henri
Publicat: (2013)
La prueba de Gödel
per: Nagel, Ernest
Publicat: (1959)
per: Nagel, Ernest
Publicat: (1959)
Gôdel's proof
per: Nagel, Ernest, et al.
Publicat: (1958)
per: Nagel, Ernest, et al.
Publicat: (1958)
Lecons de logique formelle
per: Dopp, Joseph
Publicat: (1950)
per: Dopp, Joseph
Publicat: (1950)
Los fundamentos de la matemática y otros ensayos sobre lógica
per: Ramsey, Frank Plumpton
Publicat: (1968)
per: Ramsey, Frank Plumpton
Publicat: (1968)
Hermenéutica y racionalidad
per: Vattimo, Gianni
Publicat: (1994)
per: Vattimo, Gianni
Publicat: (1994)
Introducción a la lógica formal
per: Deaño, Alfredo
Publicat: (1975)
per: Deaño, Alfredo
Publicat: (1975)
Argumentación, derecho y lógica: introducción lógico-filosófica al estudio de la argumentación jurídica
per: Manson Terrazas, Manuel
Publicat: (2000)
per: Manson Terrazas, Manuel
Publicat: (2000)
Elementos de lógica formal
per: Badesa, Calixto, et al.
Publicat: (2007)
per: Badesa, Calixto, et al.
Publicat: (2007)
Introducción a la lógica.
per: Copi, Irving M
Publicat: (2021)
per: Copi, Irving M
Publicat: (2021)
Lógica combinatoria
per: Curry, Haskell B, et al.
Publicat: (1967)
per: Curry, Haskell B, et al.
Publicat: (1967)
Elementos de filosofía positiva. Segunda edición, revisada y corregida
per: Lois, Juan S.
Publicat: (1906)
per: Lois, Juan S.
Publicat: (1906)
El principio de no contradicción en la lógica clásica.
per: Mijangos Martínez, Teresita de J.
Publicat: (2000)
per: Mijangos Martínez, Teresita de J.
Publicat: (2000)
Modal logics
per: Feys, Robert
Publicat: (1965)
per: Feys, Robert
Publicat: (1965)
Lógicas no clásicas. Principios y fundamentos
per: Gómez Marín, Raúl Antonio
Publicat: (2006)
per: Gómez Marín, Raúl Antonio
Publicat: (2006)
Enfoque moderno de la lógica clásica
per: Stahl, Gerold
Publicat: (1967)
per: Stahl, Gerold
Publicat: (1967)
Enfoque moderno de la logica clásica
per: Stahl, Gerold
Publicat: (1958)
per: Stahl, Gerold
Publicat: (1958)
Lógica formal: su alcance y sus límites.
per: Jeffrey, Richard C.
Publicat: (1986)
per: Jeffrey, Richard C.
Publicat: (1986)
Lógica de primer orden
per: Mosterín, Jesús
Publicat: (1970)
per: Mosterín, Jesús
Publicat: (1970)
Hacia una lógica de significaciones
per: Piaget, Jean, et al.
Publicat: (1989)
per: Piaget, Jean, et al.
Publicat: (1989)
Logic, computers, and sets
per: Wang, Hao
Publicat: (1970)
per: Wang, Hao
Publicat: (1970)
Lógica simbólica: una breve introducción
per: Gómez Calderón, Javier
Publicat: (1979)
per: Gómez Calderón, Javier
Publicat: (1979)
Lógica para informáticos
per: Farré Cirera, Rafel, et al.
Publicat: (2012)
per: Farré Cirera, Rafel, et al.
Publicat: (2012)
El juego de la lógica y otros escritos
per: Carroll, Lewis
Publicat: (1984)
per: Carroll, Lewis
Publicat: (1984)
Lógica simbólica para informáticos
per: Iranzo, Pascual Julián
Publicat: (2005)
per: Iranzo, Pascual Julián
Publicat: (2005)
Iniciación a la logica.
per: Gortari, Eli de
Publicat: (1970)
per: Gortari, Eli de
Publicat: (1970)
Primer curso de lógica matemática
per: Suppes, Patrick, et al.
Publicat: (1968)
per: Suppes, Patrick, et al.
Publicat: (1968)
Ejercicios de lógica
per: Moreno, Alberto
Publicat: (1970)
per: Moreno, Alberto
Publicat: (1970)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
per: Ledesma, Luis de
Publicat: (2010)
per: Ledesma, Luis de
Publicat: (2010)
Lógica. Elementos básicos
per: Arredondo Guevara, Marcial
Publicat: (2016)
per: Arredondo Guevara, Marcial
Publicat: (2016)
Hacia una lógica de significaciones
per: Piaget, Jean, et al.
Publicat: (1997)
per: Piaget, Jean, et al.
Publicat: (1997)
Lógica general.
per: Gortari, Eli de
Publicat: (1990)
per: Gortari, Eli de
Publicat: (1990)
Ítems similars
-
Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica
per: Falguera López, José L, et al.
Publicat: (1999) -
Aprendiendo a pensar: manual de razonamiento lógico para niños y jóvenes
per: Arredondo Guevara, Marcial
Publicat: (2017) -
Iniciación a la Lógica
per: Díez Calzada, José A
Publicat: (2002) -
La lógica simbólica
per: Agazzi, Evandro
Publicat: (1986) -
Introducción a la lógica y al método científico
per: Cohen, M, et al.
Publicat: (1971)