iw655321's "Books still in my dad's house"

1. 1. Types and Programming Languages by Benjamin C. Pierce Drag me to re-order

2. 2. Introduction to Algorithms, Second Edition by Thomas H. Cormen Drag me to re-order

3. 3. Computational Geometry: Algorithms and Applications, Second Edition by Mark de Berg Drag me to re-order

4. 4. An Introduction to Non-Classical Logic by Graham Priest Drag me to re-order

5. 5. Mathematical Logic, Revised Edition by W. V. Quine Drag me to re-order

6. 6. Computability and Unsolvability (Mcgraw-Hill Series in Information Processing and Computers.) by Martin Davis Drag me to re-order

7. 7. Axiomatic Set Theory by Patrick Suppes Drag me to re-order

8. 8. What is Mathematical Logic? by C. J. Ash Drag me to re-order

9. 9. Swarm Intelligence (The Morgan Kaufmann Series in Artificial Intelligence) by Russell C. Eberhart Drag me to re-order

10. 10. An Introduction to Genetic Algorithms (Complex Adaptive Systems) by Melanie Mitchell Drag me to re-order

11. 11. A First Course in Abstract Algebra (6th Edition) by John B. Fraleigh Drag me to re-order

12. 12. Vector Calculus, Linear Algebra, and Differential Forms: A Unified Approach (2nd Edition) by John H. Hubbard Drag me to re-order

13. 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 Drag me to re-order

14. 14. Deduction Systems (Texts in Computer Science) by Rolf Socher-Ambrosius Drag me to re-order

15. 15. Interactive Theorem Proving and Program Development by Yves Bertot Drag me to re-order

16. 16. Approximation Algorithms for NP-Hard Problems Drag me to re-order

17. 17. Logical Frameworks Drag me to re-order

18. 18. Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) by A. S. Troelstra Drag me to re-order

19. 19. Modern Compiler Implementation in Java by Andrew W. Appel Drag me to re-order

20. 20. Structured Computer Organization (4th Edition) by Andrew S. Tanenbaum Drag me to re-order

21. 21. Logic and Computer Design Fundamentals, Third Edition by M. Morris Mano Drag me to re-order

22. 22. Discrete Mathematics and Its Applications by Kenneth H Rosen Drag me to re-order

23. 23. Introductory Discrete Mathematics (Dover Books on Mathematics) by V. K . Balakrishnan Drag me to re-order

24. 24. Introductory Graph Theory by Gary Chartrand Drag me to re-order

25. 25. Games and Decisions: Introduction and Critical Survey by R. Duncan Luce Drag me to re-order

26. 26. Gravity's Rainbow by Thomas Pynchon Drag me to re-order

27. 27. Euler: The Master of Us All (Dolciani Mathematical Expositions, No 22) (Dolciani Mathematical Expositions) by William Dunham Drag me to re-order

28. 28. Godel, Escher, Bach: An Eternal Golden Braid by Douglas R. Hofstadter Drag me to re-order

29. 29. The Ascent of Man by Jacob Bronowski Drag me to re-order

30. 30. Communication Networks by Alberto Leon-Garcia Drag me to re-order

31. 31. Essays on the Theory of Numbers by Richard Dedekind Drag me to re-order

32. 32. Guns, Germs, and Steel: The Fates of Human Societies, New Edition by Jared Diamond Drag me to re-order

33. 33. The Stranger by Albert Camus Drag me to re-order

34. 34. The Annotated Flatland: A Romance of Many Dimensions by Edwin Abbott Abbott Drag me to re-order

35. 35. Zen and the Art of Motorcycle Maintenance: An Inquiry Into Values by Robert M. Pirsig Drag me to re-order

36. 36. Zen in the Art of Archery by Eugen Herrigel Drag me to re-order

37. 37. Physics: Calculus (with CD-ROM) by Eugene Hecht Drag me to re-order

38. 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 Drag me to re-order

39. 39. A First Course in Differential Equations: The Classic Fifth Edition by Dennis G. Zill Drag me to re-order

40. 40. Fundamental Concepts of Algebra by Bruce E. Meserve Drag me to re-order

41. 41. Proofs from THE BOOK by Martin Aigner Drag me to re-order

42. 42. Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Lecture Notes in Computer Science) Drag me to re-order

43. 43. The Structure of Scientific Revolutions by Thomas S. Kuhn Drag me to re-order

44. 44. An Introduction to Chess Moves and Tactics Simply Explained by Leonard Barden Drag me to re-order

45. 45. The City in Mind: Notes on the Urban Condition by James Howard Kunstler Drag me to re-order