Zarys logiki matematycznej - Grzegorczyk, Andrzej, 1922-2014 (Państwowe wydawnictvo naukowe, 1961)