"Основы теоретической логики" - читать интересную книгу автора (Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.))