Beweistheorie - Schutte Kurt (Berlin Springer-Verlag, 1960)
Keywords: Mathematical logic