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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Enderton, Herbert B.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: San Diego : Harcourt/Academic Press, �2001.
Edición:2nd ed.
Temas:
Logic, Symbolic and mathematical.
Logique symbolique et math�ematique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Wiskundige logica.
Symbolische logica.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares