Preservation theorems and restricted consistency statements in bounded arithmetic
| Date first appeared online | |
| DOI | 10.1016/j.apal.2003.11.003 |
| Authors | Beckmann A. |
| Journal Name | Annals of Pure and Applied Logic |
| Volume | 126 |
| Date first appeared online | |
| DOI | 10.1016/j.apal.2003.11.003 |
| Authors | Beckmann A. |
| Journal Name | Annals of Pure and Applied Logic |
| Volume | 126 |