HeckFeck: If you're interested in something closer to the hardware than Python, why not read about the language that implements Python? It's a programming classic, very concise, easy to read and... read comments

OJFord: It covers automata and languages, computability, and complexity - and is brilliantly written, the proof style in particular: clear 'proof idea's followed by the details that can be easily skipped... read comments

cjsuk: Learned more from that than I did doing an EE degree at university. It gets used to this day even though I bought this copy in 1995. I have the latest edition arriving today. read comments

jordigh: It's a wonderful book, written in a very engaging style, and it shows you how mathematicians think and how they play. It shows you why we have proofs, why things go wrong, and... read comments

danielmorozoff: Once you get your feet wet, the first year PHD course book for good theory is Pattern Recognition and Machine Learning by Bishop. read comments

imranq: This guide is phenomenal in introducing a wide array of pure math topics. Just going through a few pages is hugely inspiring and simultaneously ego-deflating. read comments

orthoganol: A masterpiece. It will give you a thorough, expansive view of the global financial world - the major events and trends - as they unfolded over the last century. This book is regularly assigned... read comments

bor0: Introduces logical reasoning, set theory, functions, relations, and proofs. It is the base for understanding any mathematical subject. read comments

jonjacky: Not a textbook, but a more popular Scientific American level treatment. Very readable and accessible but quite rigorous also - Harel's a noted computer scientist. read comments

russler23: Epp's Discrete Math was so much fun--definitely my favorite textbook from college. read comments