A Course in Mathematical Logic for Mathematicians

A Course in Mathematical Logic for Mathematicians by Yu. I. Manin.

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

Full description

Saved in:
Bibliographic Details
Main Author: Manin, Yu. I. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 2010.
Edition:2nd ed. 2010.
Series:Graduate Texts in Mathematics, 53
Springer eBook Collection.
Subjects:
Mathematical logic.
Logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.

Similar Items