000 01299nam a22002657a 4500
003 OSt
005 20260209103728.0
008 260209b1988 xxu||||| |||| 00| 0 spa d
020 _a8429151508
040 _aUnicoc
_bspa
_c00001
_d00001
082 _a511.3
100 _910726
_aSuppes, Patrick
245 _aPrimero curso de lógica matemática
_cPatrick, Suppes
250 _a1 Ed
260 _aBogotá. D. C.
_bEDITORIAL REVERTE, S. A
_c1988
300 _a288 pp
505 _tCapítulo 1. Simbolización de proposiciones.//
_tCapítulo 2. Interferencia lógica./7
_tCapítulo 3. Certeza y validez.//
_tCapítulo 4. Tablas de certeza.//
_tCapítulo 5. Términos, predicados y cuantificadores universales .//
_tCapítulo 6. Especificación universal y leyes de identidad.//
_tCapítulo 7. Un sistema matemático simple: Axiomas de la adición.//
_tCapítulo 8. Generalización universal.//
526 _5Unicoc
546 _aEspañol
650 0 _98980
_a Lógica simbólica y matemática
658 0 _98008
_aPrograma de Derecho
700 _910727
_aHill, Shirley
856 _yAcceso online exclusivo para comunidad Unicoc
_uhttps://unicoceduco-my.sharepoint.com/:b:/g/personal/direccionbiblioteca_unicoc_edu_co/IQCWW-T6kueYQY1pWpl2dmJyAdevedJ5vOh3OmwGYZSSN5w?e=GiaHKs
942 _2ddc
_cEBOOK
999 _c10644
_d10644