000 00667nam a22001577a 4500
001 000013986
020 _a978-84-291-5150-3
100 _aSuppes, Patrick
_93838
245 _aIntroducción a la Lógica Matemática
250 _a1a ed.
260 _aBarcelona, España
_bEditorial Reverté
_c2008
300 _a278
_c16 cm
505 _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.
700 _aHill, Shirley
_93839
999 _c3148
_d3148