A Course in Mathematical Logic for Mathematicians

A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Manin, Yu. I. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2010.
Edición:2nd ed. 2010.
Colección:Graduate Texts in Mathematics, 53
Temas:
Mathematical logic.
Logic.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • PROVABILITY
  • to Formal Languages
  • Truth and Deducibility
  • The Continuum Problem and Forcing
  • The Continuum Problem and Constructible Sets
  • COMPUTABILITY
  • Recursive Functions and Church#x2019;s Thesis
  • Diophantine Sets and Algorithmic Undecidability
  • PROVABILITY AND COMPUTABILITY
  • G#x00F6;del#x2019;s Incompleteness Theorem
  • Recursive Groups
  • Constructive Universe and Computation
  • MODEL THEORY
  • Model Theory.

Ejemplares similares