A new constructive logic: Classical logic (1987)

by Theor Comp Sci
Venue:1–102. [Gir91] [Gra66] [Gro59] [vHe67] [Hil28