Математическая логика и автоматическое доказательство теорем. (Мат. логика и основания математики)