Matematika. I. díl. 1. část. Úvod do matematické logiky a teorie množin - Tryhuk, Václav 1949- (Učební texty vysokých škol, 1994)