Elementary Formal Systems for Hyperarithmetical Relations
- 1 January 1978
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 24 (1-6) , 25-30
- https://doi.org/10.1002/malq.19780240104
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Theory of Formal Systems. (AM-47)Published by Walter de Gruyter GmbH ,1961