Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
Buku Teks
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
Buku Teks
Langer, Susanne K.
An introduction to symbolic logic
Dover, 1967
Buku Teks
Chang, Chin-Liang
Symbolic logic and mechanical theorem proving
Academic Press, 1973
Buku Teks
Dalen, Dirk van
Logic and structure
Springer-Verlag, 1994
Buku Teks