/private/prg/docs/+AI/Кибернетика/(ИИ - материалы общего характера)/Barwise, Etchemendy - Language, Proof and Logic.pdf