Fundamentals of mathematical logic. (©2005)

• Record Type: Book
• Further Information: Note: Peter G. Hinman.
• Other Names: Hinman, Peter G
• Contents: 1. Propositional logic and other fundamentals -- 2. First-order logic -- 3. Completeness and compactness -- 4. Incompleteness and undecidability -- 5. Topics in definability -- 6. Set theory -- 7. Model theory -- 8. Recursion theory.
• Publisher Details: Wellesley, Mass : A K Peters
• Publication Date: 2005
• Copyright Date: 2005
• Extent: 1 online resource (xvi, 878 pages), illustrations
• Subjects: 511.3 H663; Logic, Symbolic and mathematical; Model theory; Set theory; Recursion theory; Logic, Symbolic and mathematical; Model theory; Recursion theory; Set theory; MATHEMATICS / General; Electronic books
• Languages: English
• ISBNs: 9781315275536; 1315275538; 9781439864272; 1439864276
• Notes: Note: Includes bibliographical references (pages 821-828) and indexes.
• 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.