Εξώφυλλο

Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Falguera López, José L (Συγγραφέας), Martínez Vidal, Concepción (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	Ισπανικά
Έκδοση:	Madrid Trotta 1999
Σειρά:	Colección Estructuras y Procesos. Serie Filosofía
Θέματα:	LOGICA CLASICA Lógica formal LOGICA - SISTEMAS AXIOMATICOS LOGICA - FORMALIZACION LOGICA - DESCRIPCIONES DEFINIDAS
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica. Soluciones a los ejercicios
από: Falguera López, José L, κ.ά.
Έκδοση: (1999)

Aprendiendo a pensar: manual de razonamiento lógico para niños y jóvenes
από: Arredondo Guevara, Marcial
Έκδοση: (2017)

Iniciación a la Lógica
από: Díez Calzada, José A
Έκδοση: (2002)

La lógica simbólica
από: Agazzi, Evandro
Έκδοση: (1986)

Introducción a la lógica y al método científico
από: Cohen, M, κ.ά.
Έκδοση: (1971)

Introducción a la lógica y al método científico
από: Cohen, Morris Raphael
Έκδοση: (1973)

Lógica formal, lógica dialéctica
από: Lefebvre, Henri
Έκδοση: (1970)

Derecho y lógica formal.
από: Manson Terrazas, Manuel
Έκδοση: (2006)

Lógica formal, lógica dialéctica
από: Lefebvre, Henri
Έκδοση: (2013)

Los fundamentos de la matemática y otros ensayos sobre lógica
από: Ramsey, Frank Plumpton
Έκδοση: (1968)

La prueba de Gödel
από: Nagel, Ernest
Έκδοση: (1959)

Gôdel's proof
από: Nagel, Ernest, κ.ά.
Έκδοση: (1958)

Lecons de logique formelle
από: Dopp, Joseph
Έκδοση: (1950)

Introducción a la lógica formal
από: Deaño, Alfredo
Έκδοση: (1975)

Hermenéutica y racionalidad
από: Vattimo, Gianni
Έκδοση: (1994)

Argumentación, derecho y lógica: introducción lógico-filosófica al estudio de la argumentación jurídica
από: Manson Terrazas, Manuel
Έκδοση: (2000)

Elementos de lógica formal
από: Badesa, Calixto, κ.ά.
Έκδοση: (2007)

Introducción a la lógica.
από: Copi, Irving M
Έκδοση: (2021)

Lógica combinatoria
από: Curry, Haskell B, κ.ά.
Έκδοση: (1967)

Elementos de filosofía positiva. Segunda edición, revisada y corregida
από: Lois, Juan S.
Έκδοση: (1906)

El principio de no contradicción en la lógica clásica.
από: Mijangos Martínez, Teresita de J.
Έκδοση: (2000)

Lógicas no clásicas. Principios y fundamentos
από: Gómez Marín, Raúl Antonio
Έκδοση: (2006)

Enfoque moderno de la lógica clásica
από: Stahl, Gerold
Έκδοση: (1967)

Enfoque moderno de la logica clásica
από: Stahl, Gerold
Έκδοση: (1958)

Modal logics
από: Feys, Robert
Έκδοση: (1965)

Lógica formal: su alcance y sus límites.
από: Jeffrey, Richard C.
Έκδοση: (1986)

Lógica de primer orden
από: Mosterín, Jesús
Έκδοση: (1970)

Hacia una lógica de significaciones
από: Piaget, Jean, κ.ά.
Έκδοση: (1989)

Lógica para informáticos
από: Farré Cirera, Rafel, κ.ά.
Έκδοση: (2012)

Lógica simbólica: una breve introducción
από: Gómez Calderón, Javier
Έκδοση: (1979)

Lógica simbólica para informáticos
από: Iranzo, Pascual Julián
Έκδοση: (2005)

Iniciación a la logica.
από: Gortari, Eli de
Έκδοση: (1970)

Ejercicios de lógica
από: Moreno, Alberto
Έκδοση: (1970)

El juego de la lógica y otros escritos
από: Carroll, Lewis
Έκδοση: (1984)

Primer curso de lógica matemática
από: Suppes, Patrick, κ.ά.
Έκδοση: (1968)

Lógica general.
από: Gortari, Eli de
Έκδοση: (1990)

Lógica. Elementos básicos
από: Arredondo Guevara, Marcial
Έκδοση: (2016)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
από: Ledesma, Luis de
Έκδοση: (2010)

Hacia una lógica de significaciones
από: Piaget, Jean, κ.ά.
Έκδοση: (1997)

Introducción a las lógicas no clásicas
από: Peña, Lorenzo
Έκδοση: (1993)