Primer curso de lógica matemática

Por:

Suppes, Patrick

Colaborador(es):

Tipo de material:

Texto España : Reverté 1988Descripción: 283 pISBN:

84-291-5150-8

Otro título:

Introducción a la lógica matematica

Tema(s):

Clasificación CDD:

511.3 S959

Contenidos:

Simbolización de proposiciones -- Inferencia lógica -- Certeza y validez -- Tablas de certeza -- Términos predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matemático simple: Axiomas de la adición -- Generalización universal

Existencias ( 2 )
Notas de título ( 2 )

Existencias
Imagen de cubierta	Tipo de ítem	Biblioteca actual	Biblioteca de origen	Colección	Ubicación en estantería	Signatura topográfica	Materiales especificados	Info Vol	URL	Copia número	Estado	Notas	Fecha de vencimiento	Código de barras	Reserva de ítems	Prioridad de la cola de reserva de ejemplar	Reservas para cursos
	Libro		Biblioteca Rafael Escandón Hernández - UNAC - Medellín Sala principal de colecciones - Primer piso - Medellín	General		511.3 S959 (Navegar estantería(Abre debajo))				Ejemplar 1	Disponible			28119
	Libro		Biblioteca Rafael Escandón Hernández - UNAC - Medellín Sala principal de colecciones - Primer piso - Medellín	General		511.3 S959 (Navegar estantería(Abre debajo))				Ejemplar 2	Disponible			28120

Navegando Biblioteca Rafael Escandón Hernández - UNAC - Medellín estanterías,Ubicación en estantería: Sala principal de colecciones - Primer piso - Medellín,Colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)

Previo								Siguiente
Previo	510.9 O13 Magia y belleza de las matemáticas y algo de su historia	511 Si381 Ejercicios de matemáticas fundamentales	511.3 C172 Lógica simbólica básica	511.3 S959 Primer curso de lógica matemática	511.3 S959 Primer curso de lógica matemática	511.8 C836 Simulación un enfoque práctico	512 A581 Álgebra elemental	Siguiente

Incluye índice