Lógica clasica de Primer Orden : Estrategias de deducción, formalización y evaluación semántica (T,II) Soluciones a los ejercicios José L. Falguera López, Concepción Martínez Vidal

Series Estructuras y procesos. Serie Filosofía.Editor: Madrid Trotta 1999Descripción: 2 v. 23 cm.ISBN: 84-8164-291-6.Tema(s): matematica

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.

Tipo de ítem	Ubicación actual	Signatura	Copia número	Estado	Fecha de vencimiento	Código de barras
Libros	Biblioteca Estudio Teológico Agustiniano de Valladolid Catálogo propio de la Biblioteca del Estudio Teológico Agustiniano de Valladolid Fondo General	164 F 18 J Log (Navegar estantería)	184253-4	Disponible

Previo	No hay imagen de cubierta disponible	No hay imagen de cubierta disponible			No hay imagen de cubierta disponible	No hay imagen de cubierta disponible		Siguiente
Previo	164 D32A Res El resto no es silencio	164 D71P Ind Indeterminación y verdad	164 Es8 Estudios de lógica borrosa y sus aplicaciones	164 F 18 J Log Lógica clasica de Primer Orden	164 F 23 J Tru Truth-functional Logic	164 F 23 J Tru Truth-functional Logic	164 F 44 R Sim Los símbolos de la Lógica matemática	Siguiente