Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks
Blalock, Hubert M.
Theory construction : from verbal to mathematical formulations
Prentice-Hall, 1969
 Buku Teks SO
Kirkpatrick, Graeme, 1963-
Computer games and the social imaginary
Polity Press, 2013
 Buku Teks SO
Kurtz, David C.
Foundations of abstract mathematics
McGraw-Hill, 1992
 Buku Teks SO
Copi, Irving M.
Symbolic logic
Prentice-Hall, 1979
 Buku Teks SO