Elements of logic and foundations of mathematics - Marek, Wictor V. (Pwn - Polish Scientific Puplishers, 1982)