01019nam a2200205Ia 450000500170000000800410001702000100005808200140006810000280008224500460011025000110015626000260016730000140019350502840020770000190049194200080051099900170051895201390053595201390067420250107234208.0250106s2006    xx            000 0 und d  a12385  a511.3/S94  aSuppes, Patrick Coronel 0aIntroducción a la Lógica Matemática  a1a ed.  aMadridbRevertec2006  a278eSí  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. Generalización universal  a Hill, Shirley  cLIB  c69663d69663  00104070aUBCBLLbUBCBLLcPPS1d2010-06-17eComprafBuenog80.81l0o511.3/S94p43518r2025-01-08 00:11:59w2025-01-08yLIBzExterno  00104070aUBCBLLbUBCBLLcPPS1d2010-06-17eComprafBuenog80.81l0o511.3/S94p43517r2025-01-08 00:11:59w2025-01-08yLIBzExterno