On the relation provable equivalence and on partitions in effectively inseparable sets
- 1 March 1981
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 40 (1) , 29-37
- https://doi.org/10.1007/bf01837553
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- On the algebraization of a Feferman's predicateStudia Logica, 1978
- Recursively enumerable classes and their application to recursive sequences of formal theoriesArchive for Mathematical Logic, 1965
- Theory of Formal Systems. (AM-47)Published by Walter de Gruyter GmbH ,1961