LEADER 02186nam  22004453u 450 
001 9910778125203321
005 20230721031627.0
010   $a1-383-03008-1
010   $a1-281-16042-3
010   $a0-19-152480-8
010   $a1-4294-9266-X
035   $a(CKB)1000000000476624
035   $a(EBL)415527
035   $a(OCoLC)476243100
035   $a(MiAaPQ)EBC415527
035   $a(EXLCZ)991000000000476624
100   $a20130418d2007||||  u||            |
101 0 $aeng
135   $aur|n|---|||||
200 10$aMathematical Logic$b[electronic resource]
210   $aOxford $cOxford University Press, UK$d2007
215   $a1 online resource (259 p.)
225 1 $aOxford Texts in Logic ;$vv.No. 3
300   $aDescription based upon print version of record.
311   $a0-19-857100-3 
327   $aContents; 1 Prelude; 2 Informal natural deduction; 3 Propositional logic; 4 First interlude: Wason's selection task; 5 Quantifier-free logic; 6 Second interlude: the Linda problem; 7 First-order logic; 8 Postlude; Appendix A: The natural deduction rules; Appendix B: Denotational semantics; Appendix C: Solutions to some exercises; Index
330   $aAssuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. - ;Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s
410  0$aOxford Texts in Logic
606   $aLogic, Symbolic and mathematical
615  4$aLogic, Symbolic and mathematical.
676   $a511.3
700   $aChiswell$b Ian$0319946
701   $aHodges$b Wilfrid$058897
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a9910778125203321
996   $aMathematical Logic$93770629
997   $aUNINA