Goedel-Gentzen Negative Translation Soundness

Pull Requests

New Pull Request
Rejected proof: Goedel-Gentzen Negative Translation Soundness Proof
#27 · opened by admin