Zarys logiki matematycznej - Grzegorczyk, Andrzej, 1922-2014 (Biblioteka Matematyczna ;, 1961)