Такие книги есть, но они вам не понравятся т.к. рассчитаны не на новичков и читаются не так просто как учебники по программированию на языке 'X'.
Ознакомится можно, но без фанатизма. Почитайте по диагонали и не тратьте время, если не понимаете, потом вернетесь.
Вот книги на русском:
- Введение в компьютерные науки. Общий обзор
- Языки программирования. Концепции и принципы
- Введение в теорию языков программирования
- Компиляторы. Принципы, технологии и инструментарий
- Код. Тайный язык информатики
- Построение компиляторов (Вирт)
- Разработка операционной системы и компилятора. Проект Оберон
- Классика программирования. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
Но мне на ум приходит только одна мысль - посоветовать к тому, что посоветовал в соседнем вопросе лучше почитать книги: Алгоритмы и структуры данных(Н. Вирт) и Структура и Интерпретация Компьютерных Программ.