Introduction to mathematical logic. (©2010)

• Record Type: Book
• Further Information: Note: Elliott Mendelson.
• Other Names: Mendelson, Elliott
• Contents: The propositional calculus -- First-order logic and model theory -- Formal number theory -- Axiomatic set theory -- Computability -- Appendix A: Second-order logic -- Appendix B: First steps in modal propositional logic.
• Edition: 5th ed
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2010
• Copyright Date: 2010
• Extent: 1 online resource (xxiv, 469 pages), illustrations
• Subjects: 511.3; Logic, Symbolic and mathematical; Logic, Symbolic and mathematical; Logic, Symbolic and mathematical; Mathematische Logik; Electronic books
• Languages: English
• ISBNs: 9781584888772; 1584888776
• Related ISBNs: 9781584888765; 1584888768
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.