Banachowski, L. Extended algorithmic logic and properties of programs. (English) Zbl 0328.68007 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 23, 325-330 (1975). MSC: 68N01 68W99 PDFBibTeX XMLCite \textit{L. Banachowski}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 23, 325--330 (1975; Zbl 0328.68007)
Banachowski, L. Modular properties of programs. (English) Zbl 0328.68006 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 23, 331-337 (1975). MSC: 68N01 68W99 PDFBibTeX XMLCite \textit{L. Banachowski}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 23, 331--337 (1975; Zbl 0328.68006)
Banachowski, L. An axiomatic approach to the theory of data structures. (English) Zbl 0313.68029 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 23, 315-323 (1975). MSC: 68N01 68Q25 68Q45 PDFBibTeX XMLCite \textit{L. Banachowski}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 23, 315--323 (1975; Zbl 0313.68029)
Banachowski, L. On a certain subset of the set of predicate tautologies. (English) Zbl 0249.02007 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 20, 811-817 (1972). MSC: 03B10 68T15 PDFBibTeX XMLCite \textit{L. Banachowski}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 20, 811--817 (1972; Zbl 0249.02007)