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
Kirkpatrick, Graeme, 1963-
Computer games and the social imaginary
Polity Press, 2013
 Buku Teks
Standley, Gerald B.
New methods in symbolic logic
Houghton Mifflin, 1971
 Buku Teks
Gemignani, Michael C.
Basic concepts of mathematics logic
Addison-Wesley, 1968
 Buku Teks