August 1, 2004· Annals of Pure and Applied Logic
article
Provability algebras and proof-theoretic ordinals, I
Authors:Lev D. Beklemishev
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.