00751nam a22001577a 4500001001000000020002200010100002600032245004600058250001100104260005100115300001500166505029000181700002400471952008300495999001500578000013986 a978-84-291-5150-3 aSuppes, Patrick93838 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, Shirley93839 2ddc8BASICaB01bB01d2022-05-18l0oS959pUSAM02740r2022-05-18 00:00:00yLIB c3148d3148