On some metamathematical results as properties of general systems
- 1 December 1968
- journal article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 2 (4) , 357-361
- https://doi.org/10.1007/bf01703265
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Auxiliary functions and constructive specification of general systemsTheory of Computing Systems, 1968
- Formal Reductions of the General Combinatorial Decision ProblemAmerican Journal of Mathematics, 1943