edited by P. Bartfai, J. Tomko
North-Holland, 1981
Buku Teks
Quine, Willard van Orman, author
Harvard University Press, 1980
Buku Teks
Dunham, Kelli S., author
F.A. Davis Company, 2004
Buku Teks
[Fakultas llmu Komputer UI, Universitas Gunadarma. Pusat Studi Komputasi Matematika], 2010
Artikel Jurnal
Swedroe, Larry E., author
Mc Graw-Hill, 2012
Buku Teks