Find a copy in the library
Finding libraries that hold this item...
Details
| Material Type: | Internet resource |
|---|---|
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
Ian Chiswell; Wilfrid Hodges |
| ISBN: | 9780199215621 0199215626 9780198571001 0198571003 |
| OCLC Number: | 77012114 |
| Notes: | Includes index. |
| Description: | viii, 250 p. : ill. ; 25 cm. |
| Contents: | Prelude -- Informal natural deduction -- Propositional logic -- First interlude : Wason's selection task -- Quantifier-free logic -- Second interlude : the Linda problem -- First-order logic -- Postlude -- Appendix A: The natural deduction rules -- Appendix B: Denotational semantics -- Appendix C: Solutions to some exercises. |
| Series Title: | Oxford texts in logic, 3. |
| Responsibility: | Ian Chiswell and Wilfrid Hodges. |
| More information: |
Abstract:
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. This book also includes notes on historical aspects of the material, and connections with linguistics and computer science.
Read more...
Reviews
Editorial reviews
Publisher Synopsis
Mathematical Logic is crisply written and is a pleasure to read...Chiswell and Hodges' book is at the very top of the reading list. Michael Berg, MAA Online The text is clearly laid out and written in an easy-to-read free-flowing style. Times Higher Education Supplement Read more...
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.

Tags
Add tags for "Mathematical logic".
Be the first.
