LOGICA BASICA PARACONSISTENTE Y PARACOMPLETA CON NEGACION CLASICA.

QR Code

LOGICA BASICA PARACONSISTENTE Y PARACOMPLETA CON NEGACION CLASICA.

Bibliographic Details
Main Author:	SIERRA, MANUEL
Format:	Article
Language:	Spanish
Subjects:	LOGICA AXIOMA TEOREMAS Artículos de revista

Similar Items

Lógica elemental /
by: Negrete Naranjo, Juan Manuel
Published: (2001)

Sobre la compatibilidad del axioma de monotonicidad de la lógica de la justificación con cuatro teorías contemporáneas acerca de la justificación
by: Morales Delgado, Jorge,

Primer curso de lógica matemática /
by: Suppes, Patrick
Published: (2004)

Curso de geometría básica /
by: Buser, Peter
Published: (2014)

Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; versión española por Enrique Linés Escardó
by: Suppes, Patrick

Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; versión española por Enrique Linés Escardó
by: Suppes, Patrick

Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; versión española por Enrique Linés Escardó
by: Suppes, Patrick

FORZAMIENTO SEMANTICO DE MARCAS PARA LA LOGICA BASICA PARACONSISTENTE LBPC.
by: SIERRA ARISTIZABAL, MANUEL

La Axiomática
by: Blanché, Robert, et al.
Published: (1965)

L' axiomatique /
by: Blanché, Robert
Published: (1999)

Implicaciones filosóficas de diferentes visiones de los mundos posibles : (proyecto de investigación INIF 73-95-296)
by: Camacho, Luis,

Teoría Axiomática de Conjuntos /
by: Mosterín, Jesús
Published: (1980)

Construcción de teorias en ciencias sociales: de las formulaciones verbales a las matematicas/ Hubert M. Blalock
by: Blalock, Hubert M.
Published: (1986)

La teoría de conjuntos en sentido colectivo
by: Freund Carvajal, Max, 1954-

Deductive logic and descriptive language /
by: Harrison, Frank R.
Published: (1969)

Sets, logic and axiomatic theories
by: Stoll, Robert R.
Published: (1961)

Representabilidad de infinitesimales en modelos de ultrapotencia numerable /
by: Alvarado J., William, et al.

El conocimiento en grupos de agentes desde un punto de vista lógico
by: Herrera González, José Rafael

Lógica y teoría de conjuntos / Arturo Fregoso
by: Fregoso, Arturo

Lógica y teoría de conjuntos / Arturo Fregoso
by: Fregoso, Arturo

Lógica y teoría de conjuntos / Arturo Fregoso
by: Fregoso, Arturo

Lógica y teoría de conjuntos / Arturo Fregoso
by: Fregoso, Arturo

El método axiomático en secundaria /
by: López Rodríguez, Esther
Published: (1971)

Pensamiento axiomático
by: Hilbert, David
Published: (1978)

The axiom of constructibility: a guide for the mathematician /
by: Devlin, Keith J., et al.
Published: (1964)

Preferences and functionals
by: Ruckle, William H., et al.
Published: (1982)

Set theory : an introduction to independence proofs /
by: Kunen, Kenneth, et al.
Published: (1980)

Sistemas formales, informalmente : ¿Porqué intentaron formalizar a la matemática si era tan buena la muchacha?
by: Gómez, Pedro
Published: (1995)

Geometría desarrollo axiomático
by: Guerrero G., Ana Berenice
Published: (2006)

Equational characterization of Nelson algebras /
by: Brignole, Diana, et al.
Published: (1974)

Fundamentos de ética /
by: Kutschera, Franz Von
Published: (1982)

Geometría axiomatica /
by: Blumenthal, Leonard M.
Published: (1965)

Los axiomas de separación (área de matemáticas superiores) /
by: Camarena Berrío, José Antonio,
Published: (2000)

La demostración en geometría.
by: Fetisov, A. I.
Published: (1980)

Geometría axiomática
by: Blumenthal, Leonard M.
Published: (1965)

Los números reales
by: Espinoza H., E. J.
Published: (1983)

Obras completas /
by: Gödel, Kurt, 1906-1978
Published: (2006)

A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
by: Bouvere, Karel Louis de, et al.
Published: (1959)

Enfoque moderno de la lógica clásica
by: Stahl, Gerold
Published: (1958)

Los sistemas deductivos : Orígenes, construcciones y aplicaciones
by: Castroverde C., Rodolfo
Published: (2000)