INTRODUCCIÓN A LA LÓGICA MATEMÁTICA
511.3 S94
Suppes, Patrick,Hill, Shirley
Barcelona,Reverte,1994
21 cm
Simbolozación de proposiciones-- Inferencia lógicas-- certeza y validez-- Tabla de certeza-- Términos, predicados y cuantificadores universales-- Espicificación universal y leyes de identidad-- Un sistema matemático simple axiomas de la adición-- Generalización universal.
Lógica matemática
N° |
N° de Ingreso |
Ubicacion | Estado |
Uso para |
1
|
32566
|
BIBLIOTECA CENTRAL |
DISPONIBLE
|
DOMICILIO
|
2
|
32567
|
BIBLIOTECA CENTRAL |
DISPONIBLE
|
DOMICILIO
|
3
|
32568
|
BIBLIOTECA CENTRAL |
DISPONIBLE
|
DOMICILIO
|
4
|
32569
|
BIBLIOTECA CENTRAL |
DISPONIBLE
|
DOMICILIO
|
5
|
32570
|
BIBLIOTECA CENTRAL |
DISPONIBLE
|
SALA
|
