01040nam a22002897a 4500 BHTM983 20230502165441.0 a||||gr|||| 00| 0 ta 161204t ec ||||gr|||| 00| 0 spa d 8429151508 UEB spa UEB spa 510 S9595i Suppes, Patrick 18509 Introducción a la lógica matemática / Patrick Suppes Madrid, España : Reverté, 1986 283 páginas ; 21 cm. texto sin mediación volumen 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. Lógica simbólica y matemática. 2736 Hill, Shirley, autor 18510 Linés Escardó, Enrique, traductor 18511 BK ddc 12466 12466 0 0 ddc 0 0 BHTM BHTM 2009-05-13 2238 15402256 14 510 S9595i 15402256 2019-04-25 00:00:00 2019-04-25 Ej.1 2016-12-04 BK ESTANTERÍA 15.C