Beginning Mathematical Logic: A Study Guide
Peter Smith
编译原理
Alfred V. Aho
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
Introduction to Linear Algebra 5th Edition
Gilbert Strang