Savage
R. Ian Freshney
Reiss
Heather Hollander
WINSTANLEY
KOTABE
Byong H. Lee
Dawson
Leeds Proof Theory Programme (1990 Leeds University)
Clemens-G Szamatolski
George Kesidis
Paul D. Kimmel
Jerry J. Weygandt
HALLIDAY
Bill Birkett
Fichner-Rathus