Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
    See More
Found 1 from your keywords: author=Dzhafarov, Damir D.
cover
Reverse Mathematics: Problems, Reductions, and Proofs
Comment Share
Dzhafarov, Damir D.Mummert, Carl

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, the subject offers beautiful results as well as significant foundational insights. This text prov…

Edition
1
ISBN/ISSN
978-3-031-11367-3
Collation
xix, 488p.: Ill.
Series Title
Theory and Applications of Computability
Call Number
004.6 Rev