A Logic Primer
1998 ◽
pp. 5-30
◽