: Хочу давно найти хороший и доступный учебник по матлогике, логической семантике и т.п.
:
: То, что нравится мне:
:
: - Френкель, Бар-Хиллел. Основания теории множеств.
: - Э. Мендельсон. Математическая логика.
:
: К сожалению, эти книжки - по единственному экземпляру в библиотеке и давно изданы; в общем, легко недоступны.
:
: Не знаете хорошую книжку, которую можно прямо пойти и купить?
: Или интернет-ресурс...
Извините, а вы где живите? У вас что, сейчас можно прямо пойти и купить хоть какую-то нормальную научную книгу? Да и интернет-ресурсы в основном рассчитаны на студентов старшего дошкольного возраста (если знаете поприличнее - поделитесь адреском).
А вообще я логикой уже давно не интересовался, тут вам лучше к проффесионалам обращаться. А можно поинтересоваться, для чего вам это? Вас интересует что-то конкретное? Основания математики, нетрадиционные логические системы, ...? |