Думаю, можно использовать эти книги:
1) Никольская И. Л. Математическая логика. - М.: Высш. школа, 1981.
2) Андерсон Дж. А. Дискретная математика и комбинаторика. - М.: Изд. дом "Вильямс", 2004.
3) Хаггарти Р. Дискретная математика для программистов. - М.: Техносфера, 2005.
В них всё изложено просто и доступно даже для моего пожилого возраста.
