A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets
| Date first appeared online | |
| DOI | 10.1007/s001530100107 |
| Authors | Beckmann A. |
| Journal Name | Archive for Mathematical Logic |
| Volume | 41 |
| Date first appeared online | |
| DOI | 10.1007/s001530100107 |
| Authors | Beckmann A. |
| Journal Name | Archive for Mathematical Logic |
| Volume | 41 |