View of A Post-style proof of completeness theorem for symmetric relatedness Logic S

Return to Article Details A Post-style proof of completeness theorem for symmetric relatedness Logic S Download Download PDF