http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
283 páginas ; : ilustraciones, diagrs ; 22 cm.
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 edición -- Generalización universal
Patrick Suppes, Shirley Hill ; traducción Enrique Linés Escardó.
Firt course in mathematical logic Aisdell Publishing Company