The top documents tagged [traditional proof theory]
Who's afraid of Categorical models?
376 views