Cover Image

Reverse mathematics : proofs from the inside out /

Bibliographic Details
Main Author: Stillwell, John (Author)
Corporate Author: ProQuest (Firm)
Format: eBook
Language:English
Published: Princeton : Princeton University Press, [2018]
Subjects:
Reverse mathematics.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Historical introduction
  • Classical arithmetization
  • Classical analysis
  • Computability
  • Arithmetization of computation
  • Arithmetical comprehension
  • Recursive comprehension
  • A bigger picture.