This evening, I made my largest single import of books to date. A certain logician is moving to another university– upwards in the academic food chain– and offered up some of their books for grabs. I thought I should catalogue the lot, both for my own sake, and as a way to increase their utilization. Personal libraries are great, but something is quite sad when you think about a book’s realized reading time v. how often it just sits on the shelf. Or in my case, a box.

Extending this to my current collection, the below is a best effort catalogue of what I have. Any listing is loanable– just ask.

Each section is roughly in decreasing order of rank, which is an opaque combination of whether I’ve read it, enjoyment, perceived reputation/reverence/significance, etc.

logic

introductory textbooks

  • set theory?
  • Shoenfield Mathematical Logic
  • Chang, Keisler Model Theory
  • Mendelson Introduction to Mathematical Logic
  • Hinman Fundamentals of Mathematical Logic
  • Avigad Mathematical Logic and Computation
  • Takeuti Proof Theory
  • phil?

    monographs

  • Kleene, Vesley The Foundation of Intuitionistic Mathematics
  • Hinman Recursion-Theoretic Hierarchies
  • Buss | Bounded Arithmetic

    editorials and proceedings

  • van Heijenoort From Frege to Gödel
  • Heyting Constructivity in Mathematics
  • Proceedings of the Herbrand Symposium Logic Colloquium ‘81

    misc

  • Menzler-Trott Logic’s Lost Genius: The life of Gerhard Gentzen

computer science

programming languages

  • Harper Practical Foundations for Programming Languages
  • Pierce | Advanced Types and Programming Languages

    other

  • OSTEP
  • tanizaki
  • childhood years
  • dazai

wishlist

ie books that I’ve read small bits of and are just so so good

  • Soare’s computability theory book
  • Marker’s model theory book