Матемаг
о, кстати, есть ещё прикольная книжка Гильберт, Бернайс "Основания математики", но там больше про матлогику. Вообще, матлогика и дискретка мне больше всех математик нравилась XD.