Algorithmic logic and its applications (1972)

by G Mirkowska
Venue:Univ. of Warsaw