Primer curso de lógica matemática

Suppes, PatrickHill, Shirley ; Hill, Shirley ; Hill, Shirley - - Barcelona (España) : Reverté - 1999
Incluye índice alfabético. Título original en inglés: First course in mathematical logic

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