Reddit reviews Memoirs of a Proof Theorist: Gödel and Other Logicians
We found 1 Reddit comments about Memoirs of a Proof Theorist: Gödel and Other Logicians. Here are the top ones, ranked by their Reddit score.
For proof theory specifically, there is Takeuti's Memoirs of a Proof Theorist: Gödel and Other Logicians.