Last modified on 19 January 2014, at 01:44

propositional functions