Grayling, A. C.
Blackwell Publishers, 1997
Buku Teks
Tarski, Alfred
Oxford University Press, 1959
Buku Teks
Salmon, Merrilee H., author
Wadsworth, 2013
Buku Teks
Enderton, Herbert B.
San Diego Academic Press 1972,
Buku Teks
edited by Andreas Ochsner
Springer, 2012
eBooks