edited by Dov M. Gabbay and John Woods
Elsevier, 2004
Buku Referensi
edited by Jon Barwise; with the cooperation, H.J. Keisler, K. Kunen, Y. N. Moschowakis, A.S. Trioelstra
North-Holland Pub. Co, 1978
Buku Referensi
Monolithic Memories Inc., 1983
Buku Referensi
edited by C.H. Chen
McGraw-Hill, 1996
Buku Teks
edited by Mary Abbott
Routledge, 1996
Buku Teks