Arithmetic, proof theory, and computational complexity by Clote, Peter, Krajícek, Jan fromOxford logic guides 0 Type: Book
Proof theory of impredicative subsystems of analysis by Buchholz, Wilfried, Schutte, Kurt fromStudies in Proof Theory 0 Type: Book
How to read and do proofs: an introduction to mathematical thought process by Solow, Daniel 0 Type: Book
