consistency proofs, Annals of Pure and (1991)

by Propositional
Venue:Applied Logic