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
Chang, Chin-Liang
Symbolic logic and mechanical theorem proving
Academic Press, 1973
Buku Teks SO