Return to Issue Details Foundations and logical inference Rules in First Order Logic Download Download PDF