A modern formal logic primer.
Teller, Paul.
Englewood Cliffs, New Jersey : Prentice Hall,
1989.