Ordinal notations and well-orderings in bounded arithmetic
Date first appeared online
DOI 10.1016/S0168-0072(02)00066-0
Authors Beckmann A.
Journal Name Annals of Pure and Applied Logic
Volume 120

Documents