Logic in 1972
Elementary Logic
by
Mates, Benson
Logische Probleme Der Realisierbarkeits- Und Unendlichkeitsbegriffe
by
Petrov, J. A.
Combinators, λ-Terms and Proof Theory
by
Stenlund, S.