%0 Journal Article %A Momigliano, Alberto %D 1993 %T Theorem Proving via Uniform Proofs %U https://kilthub.cmu.edu/articles/journal_contribution/Theorem_Proving_via_Uniform_Proofs/6492911 %R 10.1184/R1/6492911.v1 %2 https://kilthub.cmu.edu/ndownloader/files/11937512 %K Philosophy %X Alberto Momigliano. Theorem Proving via Uniform Proofs. %I Carnegie Mellon University