A mathematical introduction to logic. (©2001)

• Record Type: Book
• Further Information: Note: Herbert B. Enderton.
• Other Names: Enderton, Herbert B
• Contents: USEFUL FACTS ABOUT SETS; SENTENTIAL LOGIC; FIRST-ORDER LOGIC; UNDECIDABILITY; SECOND-ORDER LOGIC
• Edition: 2nd ed
• Publisher Details: San Diego : Harcourt/Academic Press
• Publication Date: 2001
• Copyright Date: 2001
• Extent: 1 online resource (xii, 317 pages), illustrations
• Subjects: 511/.3; Logic, Symbolic and mathematical; Logique symbolique et mathématique; MATHEMATICS -- Infinity; MATHEMATICS -- Logic; Logic, Symbolic and mathematical; Wiskundige logica; Symbolische logica; Electronic books
• Languages: English
• ISBNs: 9780080496467; 0080496466
• Related ISBNs: 0122384520; 9780122384523
• Notes: Note: Includes bibliographical references (pages 307-308) 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.