000 00972nam a22002897a 4500
003 MX-MeUAM
005 20240917155827.0
008 240419s2019 enka fr 001 0 eng d
020 _a9781108424189 (hbk)
020 _a9781108439534 (pbk)
040 _bspa
_cMX-MeUAM
050 4 _aQA9
_bV452 2019
100 1 _aVelleman, Daniel J.,
245 1 0 _aHow to prove it :
_ba structured approach /
_cDaniel J. Velleman
250 _a3rd ed.
260 _aCambridge, United Kingdom ;
_aNew York, NY :
_bCambridge University Press,
_c2019
300 _axii, 458 p. :
_cil. ;
_b23 cm.
500 _aReimpresión: 2022.
500 _aIncluye índice.
650 0 _aLogic, symbolic and mathematical
_vTextbooks.
650 0 _aMathematics
_vTextbooks.
650 0 _aProof theory
_vTextbooks.
650 7 _2lemb
_aLógica, simbólica y matemática
_vLibros.
650 7 _2lemb
_aMatemáticas
_vLibros.
650 7 _2lemb
_aTeoría de la prueba
_vLibros.
942 _cLIBRO
999 _c255936
_d255935