Classical logic, storage operators, and second-order -calculus (1994)

by J-L Krivine
Venue:Annals of Pure and Applied Logic