Subsystems of Second Order Arithmetic

Autor*innen

• Stephen G. Simpson

Reihen

• Perspektiven der Logik

Parameter

• 464 Seiten
• 17 Lesestunden

• Logik
• Mathematik
• Philosophie

Mehr zum Buch

The book utilizes a series of case studies to explore key axioms, demonstrating their application in proving specific theorems across essential mathematical disciplines. It focuses on the interplay between foundational concepts and advanced mathematical theories, providing insights into the logical structure of mathematics.

• Sprache: Englisch
• Erscheinungsdatum: 2010
• Einband: Paperback