По математической логикесоветую учебник Э. Мендельсона "Введение в математическую логику". Считается классическим. По теории графов мною была с удовольствием узучена глава в книге Прасолова "Элементы комбинаторной и дифференциальной топологии", сто лежит на
http://www.mccme.ru/free-books/. Учебник Яблонского даёт представление о к-значных логиках. Есть книга Кофмана по комбинаторному анализу, но мне она не пришлась по душе.