Text this: Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств