January 1, 1986· Annals of Pure and Applied Logic
article
A new system of proof-theoretic ordinal functions
Authors:W. Buchholz
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.