00617nam a22001337a 4500001001000000020002200010100002000032245004600052250001100098260005100109300001500160505029000175700001800465000013986  a978-84-291-5150-3  aSuppes, Patrick  aIntroducción a la Lógica Matemática  a1a ed.  aBarcelona, EspañabEditorial Revertéc2008  a278c16 cm  aSimbolización de proposiciones -- Inferencia lógica -- Certez y validez -- Tablas de certeza -- Terminos,predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matematico simple:axiomas de adición --- Generalización universal.  aHill, Shirley