000			01189cam a22003258i 4500
001			20896994
003			OSt
005			20241209165526.0
008			190320s2019 enk 001 0 eng
010			_a 2019013488
020			_a9781108439534 (pbk. : alk. paper)
040			_aDLC _beng _eIISERB _cDLC
042			_apcc
050	0	0	_aQA9 _b.V38 2019
082	0	0	_a511.3 V54H3 _223
100	1		_aVelleman, Daniel J. _930863
245	1	0	_aHow to prove it : _ba structured approach _cDaniel J. Velleman (Amherst College, Massachusetts).
250			_aThird edition.
260			_aCambridge: _bCambridge University Press, _c2023.
263			_a1911
300			_axii, 458p.
500			_aIncludes index.
505	0		_aIntroduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix.
650		0	_aLogic, Symbolic and mathematical _vTextbooks. _930864
650		0	_aMathematics _vTextbooks. _930865
650		0	_aProof theory _vTextbooks. _930866
906			_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg
942			_2ddc _cBK
999			_c10449 _d10449