Text this: Математическая логика и автоматическое доказательство теорем: пер. с англ.