Vista normal Vista MARC Vista ISBD

Suppes, Patrick

Primer curso de lógica matemática - México : Reverté, 2004 - 281 p. ; 22 cm.

Simbolización de proposiciones. Inferencia lógica. Certeza y validez. Términos, predicados y cuantificacadores universales. Especificación universal y leyes de identidad. Un sistema matemáttico simple: Axiomas de la adición. Generalización universal.

ISBN: 9686708014

Descriptores:
LOGICA
LOGICA MATEMATICA

CDU No.: 160.12 ; S 88