Title: A unified treatment of elementary proof theory.
Authors: Scanlon, Thomas
Year: 1968