00978nam a22002657a 4500001000800000005001700008006001900025007000300044008004100047020001500088040001800103041000800121082001600129100002000145245006400165260004200229300002800271336001000299337002000309338001200329505026300341650004100604700002500645700004200670BHTM98320230502165441.0a||||gr|||| 00| 0 ta161204t        ec ||||gr|||| 00| 0 spa d  a8429151508  aUEBbspacUEB0 aspa04a510bS9595i1 aSuppes, Patrick10aIntroducción a la lógica matemática /cPatrick Suppes  aMadrid, España :bReverté, c1986  a283 páginas ;c21 cm.  atexto  asin mediación  avolumen0 aSimbolizació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.14aLógica simbólica y matemática.1 aHill, Shirley, autor1 aLinés Escardó, Enrique, traductor