Polish Virtual Library of Science

    Mathematical Collection

 

 Send your comments on adress bwm@icm.edu.pl

Banach Center Publications

Volume 2

Warszawa 1977

Contents

H. Rasiowa
L. Banachowski
A. Kreczmar
G. Mirkowska
A. Sławicki		An introduction to algorithmic logic. Metamathematical investigations in the theory of programs7-99
W. Bartol
Z. Raś
A. Skowron		Theory of computing systems101-165
A. BlikleAn analysis of programs by algebraic means167-213
W. Marek
W. Lipski		On information storage and retrieval systems215-259

 
Home Page   Back