Zarys logiki matematycznej - GREGORCZYK, Andrzej (Warszawa, 1975)