What is the Logic of Computational Tasks?

Max I. Kanovich. What is the Logic of Computational Tasks?. In Albert R. Meyer, Michael A. Taitslin, editors, Logic at Botik 89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings. Volume 363 of Lecture Notes in Computer Science, pages 181-185, Springer, 1989.

Abstract

Abstract is missing.