"Primer curso de lógica matemática" - читать интересную книгу автора (Patrick Suppes, Shirley Hill)