:quality(100))
imagem ilustrativa
Ordinal Analysis with an Introduction to Proof Theory
Toshiyasu Arai
Salvar edição
Compartilhar
- Editora: UmLivro
- Ano: 2021
- ISBN: 9789811564611
- This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic material
Descrição: This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal... Veja mais