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
Greenstein, Carol Horn
Dictionary of logical terms and symbols
Van Nostrand Reinhold, 1978
 Buku Referensi
Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer, 2012
 eBooks