Devlin, Keith
Chapman & Hall, 1992
Buku Teks
Cohen, Morris R.
Harcourt, Brace & World, Inc., 1934
Buku Teks
Boolos, George, author
Harvard University Press, 1998
Buku Teks
edited by Ulrich Hohle and Erich Peter Klement
Kluwer Academic , 1995
Buku Teks
B. Blackwell, 1960
Buku Teks