Iverson's "The description of sequential processes" is eye opening (as our "Notation as a tool of thought" and "A programming language"). But that's about descr

Iverson's "The description of sequential processes" is eye opening (as our "Notation as a tool of thought" and "A programming language"). But that's about describing the science than the actual science (imagine a book about the merits of Leibniz notation vs. Newton notation of derivatives...). The actual science in computer science? Weyuker, Sigal & Davis - Complexity, Computability and Languages; CLRS - Introduction to Algorithms. Harel - Algorithmics, the spirit of computing; And nand to tetris, in whatever format you find it.