Proof theory - Schuette, Kurt (Springer Verlag, 1977)
Prijevod djela: GRUNDLAGEN DER MATHEMATISCHEN WISSENSCHAFTEN 225. A SERIES COMPREHENSIVE STUDIES IN MATHEMATICS