A mathematical introduction to logic /

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy s...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Enderton, Herbert B.
Format: Electronic eBook
Language:Inglés
Published: San Diego : Harcourt/Academic Press, �2001.
Edition:2nd ed.
Subjects:
Logic, Symbolic and mathematical.
Logique symbolique et math�ematique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Wiskundige logica.
Symbolische logica.
Online Access:Texto completo
Table of 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 Parsing Algorithm
  • 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.

Similar Items