 |
|
|
Item Details
| Title:
|
INTRODUCTION TO MATHEMATICAL LOGIC
|
| By: |
Elliott Mendelson, Kenneth H. Rosen |
| Format: |
Hardback |
| List price:
|
£46.99 |
|
We believe that this item is permanently unavailable, and so we cannot source
it.
|
|
|
|
|
|
| ISBN 10: |
1584888768 |
| ISBN 13: |
9781584888765 |
| Publisher: |
TAYLOR & FRANCIS INC |
| Pub. date: |
13 August, 2009 |
| Edition: |
5th Revised edition |
| Series: |
Discrete Mathematics and Its Applications 48 |
| Pages: |
494 |
| Description: |
Explores the principal topics of mathematical logic. This title covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. It discusses the major results of Godel, Church, Kleene, Rosser, and Turing. |
| Synopsis: |
Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church, Kleene, Rosser, and Turing. New to the Fifth Edition * A new section covering basic ideas and results about nonstandard models of number theory * A second appendix that introduces modal propositional logic * An expanded bibliography * Additional exercises and selected answers This long-established text continues to expose students to natural proofs and set-theoretic methods. Only requiring some experience in abstract mathematical thinking, it offers enough material for either a one- or two-semester course on mathematical logic. |
| Illustrations: |
28 black & white illustrations |
| Publication: |
US |
| Imprint: |
Chapman & Hall/CRC |
| Returns: |
Returnable |
|
|
|
 |
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|