Categorical Proof Theory of Classical Propositional Calculus (2005)

Cached

Download Links

by Gianluigi Bellin , Martin Hyland , Edmund Robinson , Christian Urban
Citations:9 - 1 self