Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
Buku Teks
Standley, Gerald B.
New methods in symbolic logic
Houghton Mifflin, 1971
Buku Teks SO
Langer, Susanne K.
An introduction to symbolic logic
Dover, 1967
Buku Teks SO
Chang, Chin-Liang
Symbolic logic and mechanical theorem proving
Academic Press, 1973
Buku Teks SO
Dalen, Dirk van
Logic and structure
Springer-Verlag, 1994
Buku Teks SO