учебник

Уроки учи.

Эвристика более практична чем логика. Налегай на нее. Логика будет бессильна, если не сможешь четко сформулировать условия задачи.

ок что читать? авторов бы желательно

Пойа, Альтшуллер. Ищи что нибудь инженерное, избегай всякую эзотерику и пр. гуманитарные размышлизмы.

тебе зачем? т.е. я понимаю что «программирование», но мат логика - это про деревья вывода и прочую «мат» часть. Для самого программирования, даже на хаскеле, оно не надо, наверное от слова «почти вообще». Оно для рассуждений о системах нужно: о системах типов в хаскеле, идрисе, там, агде. И то боком определённым.

Т.е. вопрос таки - зачем? Какие именно мысли наводят на то что нужно бы логику выучить?

http://dxdy.ru/topic16944.html

Советуют:

Ершов Ю. Л.‚ Палютин Е. А. Математическая логика, Новосибирск: Изд-во НГУ, 1973 М.: Наука, 1987

Черч А. Введение в математическую логику, М., 1961.

Как доказать корректность программы без матлогики?

а как её доказать с мат логикой? возьми вон php и поди докажи корректность программы, чего стесняться?

ДОБАВЛЕНИЕ.

Интересно ведь откуда у человека мысли появляются. Опять же надо понимать уровень подготовки человека, прежде чем ершова ему советовать.

Я бы в общем случае просто смолиана посоветовал чтобы интерес не отбить.

Р. Смолиан «как же называется эта книга» - http://www.logic-books.info/node/63

Интересно и познавательно.

ТС. А вообще вот тут курс на русском. Хороший вводный курс. Широкий и не через чур глубокий, вероятность потонуть не шибко велика. Для прохождения хватит подготовки 11го класса школы. Идеально будет иметь первый курс технического, естественнонаучного или мат. вуза. Начало 16 октября.

https://www.lektorium.tv/mooc2/26749

всем спасибо, что есть постараюсь почитать