Sommaire

An introduction to algorithmic logic. Metamathematical investigations in the theory of programs

Banachowski, L. ; Kreczmar, A. ; Mirkowska, G. ; Rasiowa, H. ; Sławicki, A.

Access to full text
Full (PDF)
p. 7-99

The Polish Digital Mathematics Library
Theory of computing systems

Bartol, W. ; Raś, Z. ; Skowron, A.

Access to full text
Full (PDF)
p. 101-165

The Polish Digital Mathematics Library
An analysis of programs by algebraic means

Blikle, A.

Access to full text
Full (PDF)
p. 167-213

The Polish Digital Mathematics Library
On information storage and retrieval systems

Lipski, Witold ; Marek, Wiktor

Access to full text
Full (PDF)
p. 215-259

The Polish Digital Mathematics Library