[1] |
Banachowski, L., Investigations of properties of programs by means of the extended algorithmic logic I, Fund. Inform., 1, 1, 93-119 (1977) · Zbl 0358.68037 |
[2] |
Kreczmar, A., Effectivity problems of algorithmic logic, Fund. Inform., 1, 1, 19-32 (1977) · Zbl 0361.02056 |
[3] |
Mirkowska, G., Algorithmic logic and its applications in the theory of programs I, Fund. Inform., 1, 1, 1-17 (1977) · Zbl 0358.68036 |
[4] |
Mirkowska, G.; Orlowska, E., An elimination of iteration quantifiers in a certain class of algorithmic formulas, Fund. Inform., 1, 3, 347-355 (1978) · Zbl 0386.68043 |
[5] |
Rasiowa, H.; Sikorski, R., Mathematics of Metamathematics, (Monografie Mat., 41 (1963), Polish Scientific Publishers: Polish Scientific Publishers Warsaw) · Zbl 0122.24311 |
[6] |
Salwicki, A., Formalized algorithmic languages, Bull. Acad. Polon. Sci. Sér. Math. Astronom. Phys., 18, 227-232 (1970) · Zbl 0198.02801 |