000			01023nam a2200241 a 4500
003			AR-LpUFIB
005			20250311170412.0
008			230201s2010 xxu r 000 0 eng d
020			_a9781584888765
024	8		_aDIF-M6319 _b6448 _zDIF005772
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aMendelson, Elliott
245	1	0	_aIntroduction to mathematical logic
250			_a5th ed.
260			_aBoca Raton : _b CRC, _cc2010
300			_axxiv, 469 p. ; _c24 cm.
490	0		_aDiscrete mathematics and its applications
500			_aIncluye índice y bibliografía.
505	0		_a Preface -- Introduction -- 1. The propositional calculus -- 2. First-order logic and model theory -- 3. Formal number theory -- 4. Axiomatic set theory -- 5. Computability -- Appendix A. Second-order logic -- Appendix B. First steps in modal propositional logic -- Answers to selected exercises -- Bibliography -- Notation -- Index
650		4	_aLÓGICA MATEMÁTICA
650		4	_aTEORÍA DE LA COMPUTABILIDAD
942			_cBK
999			_c55557 _d55557