Barker, S. F.
Cornell University Press, 1957
Buku Teks
Pratt, Scott L
Wiley, 2015
Buku Teks
Carnap, Rudolf
Phoenix Books, 1947
Buku Teks SO
edited by Witold Marciszewski
Martinus Nijhoff Publishers, 1981
Buku Referensi
edited by Dov M. Gabbay and John Woods
Elsevier, 2004
Buku Referensi