Vista normal Vista MARC Vista ISBD

SUPPES, PATRIK


INTRODUCCIÓN A LA LÓGICA MATEMÁTICA. - 1A. ed - BARCELONA 1982 - 278 21.5

SIMBOLIZACIÓN DE PROPOSICIONES
. -- INFERENCIA LÓGICA
. -- CERTEZA Y VALIDEZ
. -- TABLAS DE CERTEZA
. -- TÉRMINOS, PREDICADOS Y CUANTIFICADORES UNIVERSALES
. -- ESPECIFICACIONES UNIVERSALES Y LEYES DE IDENTIDAD
. -- UN SISTEMA MATEMÁTICO SIMPLE.

Subjects--Topical Terms:
MATEMÁTICAS.-LÓGICA

Dewey Class. No.: 511.3.SUPP.00