← Back to Browse
A unified treatment of elementary proof theory

A unified treatment of elementary proof theory

by Thomas Scanlon