Ресурс:
Элементарное введение в математическую логику