Carnap, Rudolf
Introduction to symbolic logic and its
Dover, 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
Smarandache, Florentin
Multi-valued logic, neutrosophy, and schrodinger equation
Hexis, 2005
 Buku Teks SO
Standley, Gerald B.
New methods in symbolic logic
Houghton Mifflin, 1971
 Buku Teks SO