First Page | Meta Content | |
---|---|---|
Open DocumentShare Result on FacebookCompanySpecification LP / Proofs LP / Full LP / / /IndustryTermclassical proof systems / proof systems / machinery / few proof-naming systems / /OrganizationNormality Roman Kuznets CUNY Graduate Center / Logic of Proofs LP / /PersonNikolai Krupski / Evan Goris / Roman Kuznets / /SocialTag |