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