[Studies in Logic and the Foundations of Mathematics] Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 Volume 74 || Formalization of Some Notions in Terms of Computational Complexity
Trakhtenbrot, B.A.Year:
1973
DOI:
10.1016/s0049-237x(09)70359-3
File:
PDF, 512 KB
1973