1 option
A mathematical introduction to logic / Herbert B. Enderton.
- Format:
- Book
- Author/Creator:
- Enderton, Herbert B.
- Language:
- English
- Subjects (All):
- Logic, Symbolic and mathematical.
- Physical Description:
- 1 online resource (xii, 317 pages.)
- Edition:
- 2nd ed.
- Place of Publication:
- San Diego, Calif. : Academic Press, ©2001.
- Contents:
- Sentential Logic
- Informal Remarks on Formal Languages
- The Language of Sentential Logic
- Truth Assignments
- A Parsing Algorithm
- Induction and Recursion
- Sentential Connectives
- Switching Circuits
- Compactness and Effectiveness
- First-Order Logic
- First-Order Languages
- Truth and Models
- A Deductive Calculus
- Soundness and Completeness Theorems
- Models of Theories
- Interpretations Between Theories
- Nonstandard Analysis
- Undecidability
- Number Theory
- Natural Numbers with Successor
- Other Reducts of Number Theory
- A Subtheory of Number Theory
- Arithmetization of Syntax
- Incompleteness and Undecidability
- Recursive Functions
- Second Incompleteness Theorem
- Representing Exponentiation
- Second-Order Logic
- Second-Order Languages
- Skolem Functions
- Many-Sorted Logic
- General Structures.
- Notes:
- Includes bibliographical references (pages 307-308) and index.
- Electronic reproduction. Ipswich, MA Available via World Wide Web.
- Description based on print version record.
- Local Notes:
- Acquired for the Penn Libraries with assistance from the Rosengarten Family Fund.
- ISBN:
- 9780080496467 (electronic bk.)
- 0080496466 (electronic bk.)
- Publisher Number:
- 99991446981
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.