Mirkowska, Grażyna (ed.); Rasiowa, Helena (ed.) Mathematical problems in computation theory. Proceedings of the 26th semester, held in Warsaw, Poland, from September 16th till December 14th, 1985. (English, Russian) Zbl 0745.00057 Banach Center Publications. 21. Warszawa (Poland): Polish Scientific Publishers. 597 p. (1988). MSC: 00B25 68-06 PDF BibTeX XML Cite \textit{G. Mirkowska} (ed.) and \textit{H. Rasiowa} (ed.), Mathematical problems in computation theory. Proceedings of the 26th semester, held in Warsaw, Poland, from September 16th till December 14th, 1985 (Russian). Warszawa (Poland): Polish Scientific Publishers (1988; Zbl 0745.00057)
Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A. An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. (English) Zbl 0358.68035 Math. Found. Comput. Sci., Banach Cent. Publ. 2, 7-99 (1977). MSC: 68N01 68W99 03B05 03B10 PDF BibTeX XML Full Text: Link EuDML