Amazon cover image
Image from Amazon.com
Image from Google Jackets

Mathematical logic / Ian Chiswell and Wilfrid Hodges.

By: Contributor(s): Material type: TextTextSeries: Oxford texts in logic ; 3Publication details: London ; New York : Oxford University Press, 2007.Description: viii, 250 p. : ill. ; 25 cmISBN:
  • 9780199215621
  • 0199215626
  • 9780198571001
  • 0198571003
Subject(s): DDC classification:
  • 511.3   22
Contents:
1 Prelude --2 Informal natural deduction --3 Propositional logic --4 First interlude: Wason's selectiontask --5 Quantifier-free logic --6 Second interlude: the Linda problem --7 First-order logic --8 Postlude.
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. - ;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 sAbstract: 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. - ;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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books Books Main library General Stacks 511.3 / CH.M 2007 (Browse shelf(Opens below)) 1 Available 005994

Includes index.

1 Prelude --2 Informal natural deduction --3 Propositional logic --4 First interlude: Wason's selectiontask --5 Quantifier-free logic --6 Second interlude: the Linda problem --7 First-order logic --8 Postlude.

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. - ;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

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. - ;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.

1

There are no comments on this title.

to post a comment.