Начала теории множеств. Математическая логика и теория алгоритмов

Написано очень профессионально: теория, теоремы с доказательством, есть задачи, так же некоторые с решением. Как физтеху зашло неплохо, но в конце нужно читать очень вдумчиво, при этом главы в конце пожалуй для людей вне науки будут лишними