A Course on Mathematical Logic

Mostrar otras versiones (1)

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel's incompleteness theorems sh...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Srivastava, Shashi Mohan (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2013.
Edición:2nd ed. 2013.
Colección:Universitext,
Temas:
Mathematical logic.
Machine theory.
Algebra.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Preface
  • 1 Syntax of First-Order Logic
  • 2 Semantics of First-Order Languages
  • 3 Propositional Logic
  • 4 Completeness Theorem for First-Order Logic
  • 5 Model Theory
  • 6 Recursive Functions and Arithmetization of Theories
  • 7 Incompleteness Theorems and Recursion Theory
  • References
  • Index.

Ejemplares similares