Title: O logice obliczeniowej
Subjects: Symbolic and mathematical Logic