Mirkowska, Grazyna Algorithmic logic and its applications in the theory of programs. I. (English) Zbl 0358.68036 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 1-17 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 7 Documents MSC: 68N01 General topics in the theory of software 03B99 General logic PDFBibTeX XMLCite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 1--17 (1977; Zbl 0358.68036)