Cut Elimination for the Second Order Propositional Logic with Hilbert's epsilon-symbol, Extensionality, and Full Comprehension.

Michael Gavrilovich

Browse the full LFCS paper archive.