Elements of logic and foundations of mathematics in problems - Marek, Victor W. 1943-; Onyszkiewicz, Janusz 1937- (Reidel u.a., 1982)