skip to content
Mathematical logic Preview this item
ClosePreview this item

Mathematical logic

Author: Ian Chiswell; Wilfrid Hodges
Publisher: London ; New York : Oxford University Press, 2007.
Series: Oxford texts in logic, 3.
Edition/Format:   Book : EnglishView all editions and formats
Summary:
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; 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  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 Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/77012114>
library:oclcnum"77012114"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/77012114>
rdf:typeschema:Book
rdfs:seeAlso
rdfs:seeAlso
rdfs:seeAlso
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:author
schema:contributor
schema:datePublished"2007"
schema:description"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."
schema:description"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."
schema:inLanguage"en"
schema:name"Mathematical logic"
schema:numberOfPages"250"
schema:publisher
umbel:isLike<http://bnb.data.bl.uk/id/resource/GBA6A3782>
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.