Proof functional connectives
1985 ◽
pp. 208-221
◽