Хотелось бы обратиться к уважаемым участникам форума с просьбой порекомендовать оптимальный учебник по математической логике.
Основные требования к учебнику: он должен быть не очень подробным, т. е. имеется в виду достаточно краткий, базовый курс. Хотелось бы также, что бы изложение материала было доступным (насколько это возможно, разумеется). Последнее связано с тем, что математической логикой я никогда не занимался. И вообще, мой математический уровень пока далёк от чего-то приличного.
