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 |
| 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 |