log-formula proof-7-rules

2017-10-26 5