Wprowadzenie do logiki i teorii mnogości - Ludwik Borkowski
Książka jest oryginalnym i nowoczesnym podręcznikiem logiki matematycznej i teorii mnogości, uzupełnionym o własne rezultaty badawcze (założeniowa dedukcja naturalna - DN2) oraz doświadczenia dydaktyczne autora. Zawiera obszerne, ale jednocześnie zwarte przedstawienie w zasadzie całej problematyki