An application of graphical enumeration to PA (2003)

Cached

Download Links

by Andreas Weiermann
Venue:Journal of Symbolic Logic
Citations:13 - 3 self