Логика - формальная и диалектическая, анализ Лупандина, 1997; в Средние века - Реале.
См. аннонитированную библиографию в Школе христ. самообразования (тут и лит-ра, имеющаяся в данной библиотеке).