Send to Printer
1. Types and Programming Languages
by Benjamin C. Pierce
  
2. Introduction to Algorithms, Second Edition
by Thomas H. Cormen
  
3. Computational Geometry: Algorithms and Applications, Second Edition
by Mark de Berg
  
4. An Introduction to Non-Classical Logic
by Graham Priest
  
5. Mathematical Logic, Revised Edition
by W. V. Quine
  
6. Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.)
by Martin Davis
  
7. Axiomatic Set Theory
by Patrick Suppes
  
8. What is Mathematical Logic?
by C. J. Ash
  
9. Swarm Intelligence (The Morgan Kaufmann Series in Artificial Intelligence)
by Russell C. Eberhart
  
10. An Introduction to Genetic Algorithms (Complex Adaptive Systems)
by Melanie Mitchell
  
11. A First Course in Abstract Algebra (6th Edition)
by John B. Fraleigh
  
12. Vector Calculus, Linear Algebra, and Differential Forms: A Unified Approach (2nd Edition)
by John H. Hubbard
  
13. Data Structures and Network Algorithms (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF regional conference series in applied mathematics)
by Robert E Tarjan
  
14. Deduction Systems (Texts in Computer Science)
by Rolf Socher-Ambrosius
  
15. Interactive Theorem Proving and Program Development
by Yves Bertot
  
16. Approximation Algorithms for NP-Hard Problems  
17. Logical Frameworks  
18. Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
by A. S. Troelstra
  
19. Modern Compiler Implementation in Java
by Andrew W. Appel
  
20. Structured Computer Organization (4th Edition)
by Andrew S. Tanenbaum
  
21. Logic and Computer Design Fundamentals, Third Edition
by M. Morris Mano
  
22. Discrete Mathematics and Its Applications
by Kenneth H Rosen
  
23. Introductory Discrete Mathematics (Dover Books on Mathematics)
by V. K . Balakrishnan
  
24. Introductory Graph Theory
by Gary Chartrand
  
25. Games and Decisions: Introduction and Critical Survey
by R. Duncan Luce
  
26. Gravity's Rainbow
by Thomas Pynchon
  
27. Euler: The Master of Us All (Dolciani Mathematical Expositions, No 22) (Dolciani Mathematical Expositions)
by William Dunham
  
28. Godel, Escher, Bach: An Eternal Golden Braid
by Douglas R. Hofstadter
  
29. The Ascent of Man
by Jacob Bronowski
  
30. Communication Networks
by Alberto Leon-Garcia
  
31. Essays on the Theory of Numbers
by Richard Dedekind
  
32. Guns, Germs, and Steel: The Fates of Human Societies, New Edition
by Jared Diamond
  
33. The Stranger
by Albert Camus
  
34. The Annotated Flatland: A Romance of Many Dimensions
by Edwin Abbott Abbott
  
35. Zen and the Art of Motorcycle Maintenance: An Inquiry Into Values
by Robert M. Pirsig
  
36. Zen in the Art of Archery
by Eugen Herrigel
  
37. Physics: Calculus (with CD-ROM)
by Eugene Hecht
  
38.
?
 Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress
by Methodology and Philosophy of Science (1960 : Stanford, Calif.) International Congress for Logic
  
39. A First Course in Differential Equations: The Classic Fifth Edition
by Dennis G. Zill
  
40. Fundamental Concepts of Algebra
by Bruce E. Meserve
  
41. Proofs from THE BOOK
by Martin Aigner
  
42. Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer Science)  
43. The Structure of Scientific Revolutions
by Thomas S. Kuhn
  
44. An Introduction to Chess Moves and Tactics Simply Explained
by Leonard Barden
  
45. The City in Mind: Notes on the Urban Condition
by James Howard Kunstler
  
This is iw655321's list. Only iw655321 can edit it. You can make your own version of this list.
Created by iw655321 on May 23, 2006.