000			02266nam a2200385 i 4500
999			_c139860 _d139860
001			9781643270166
003			IOP
005			20190320110409.0
006			m eo d
007			cr nn |||m|||a
008			180711s2018 cau o 000 0 eng d
020			_a9781643270166 _qebook
020			_a9781643270142 _qmobi
020			_z9781643270135 _qprint
024	7		_a10.1088/978-1-6432-7016-6 _2doi
035			_a(CaBNVSL)thg00976630
035			_a(OCoLC)1044743665
040			_aCaBNVSL _bgre _eAACR2 _cGR-PaULI _dGR-PaULI
082	0	4	_a510.1 _223
100			_aPereyra, Nicolas A. _eσυγγραφέας. _9174689
245	1	0	_aLogic for physicists / _cNicolas A. Pereyra.
260			_aSan Rafael [Καλιφόρνια] : _bMorgan & Claypool Publishers, _cc2018.
300			_a1 ηλεκτρονική πηγή (ποικίλες σελιδαριθμήσεις).
490	1		_aIOP concise physics, _x2053-2571
505	0		_a1. Propositional algebra -- 1.1. Propositions -- 1.2. Logical operators -- 1.3. Notes on notation -- 1.4. The T and F symbols -- 1.5. Properties of logical operators [not sign], [vel], and [wedge] -- 1.6. The [turnstile] symbol
505	8		_a2. Predicate logic -- 2.1. What is predicate logic? -- 2.2. The [for all] symbol (FOR ALL) -- 2.3. The [exists] symbol (EXISTS) -- 2.4. Properties of the logical symbols [for all] and [exists]
505	8		_a3. Deductive reasoning -- 3.1. What is deductive reasoning? -- 3.2. An example.
520	3		_aThis book gives a rigorous yet 'physics-focused' introduction to mathematical logic that is geared towards natural science majors. We present the science major with a robust introduction to logic, focusing on the specific knowledge and skills that will unavoidably be needed in calculus topics and natural science topics in general (rather than taking a philosophical-math-fundamental oriented approach that is commonly found in mathematical logic textbooks).
650		0	_aΜαθηματικά _xΦιλοσοφία _9308
650		0	_aΜαθηματική φυσική _913
650		0	_aΛογική, Συμβολική και μαθηματική _9472
830		0	_aIOP concise physics.
856	4	0	_uhttp://iopscience.iop.org/book/978-1-6432-7016-6
942			_2ddc _cERS