计算理论导引
Michael Sipser
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Measurement
Paul Lockhart