Classical proof forestry (0)

by Willem Heijltjes
Venue:Annals of Pure and Applied Logic