02190nam 22004453u 450 991045215750332120210114074105.01-281-16042-30-19-152480-81-4294-9266-X(CKB)1000000000476624(EBL)415527(OCoLC)476243100(MiAaPQ)EBC415527(EXLCZ)99100000000047662420130418d2007|||| u|| |engur|n|---|||||Mathematical Logic[electronic resource]Oxford Oxford University Press, UK20071 online resource (259 p.)Oxford Texts in Logic ;v.No. 3Description based upon print version of record.0-19-857100-3 Contents; 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; IndexAssuming 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 sOxford Texts in LogicLogic, Symbolic and mathematicalElectronic books.Logic, Symbolic and mathematical.511.3Chiswell Ian319946Hodges Wilfrid58897AU-PeELAU-PeELAU-PeELBOOK9910452157503321Mathematical Logic2047674UNINA