Analyzing Gödel's T Via Expanded Head Reduction Trees
| Date first appeared online | |
| DOI | 10.1002/1521-3870(200010)46:4<517::aid-malq517>3.0.co;2-a |
| Authors | Beckmann A. |
| Journal Name | MLQ |
| Volume | 46 |
| Date first appeared online | |
| DOI | 10.1002/1521-3870(200010)46:4<517::aid-malq517>3.0.co;2-a |
| Authors | Beckmann A. |
| Journal Name | MLQ |
| Volume | 46 |