Boolos, George
Logic, logic, and logic
Harvard University Press, 1998
Buku Teks
Logic-to-logic comparator
Fakultas Teknik Universitas Indonesia, 1991
UI - Laporan Penelitian
Levitin, Leonid
Uzbekistan: on a historical threshold
Granta Editions, 2001
Buku Teks
At the threshold of maturuty Andrzej januszajtis
Artikel Jurnal
Lalement, Rene
Computation as logic
Prentice-Hall, 1993
Buku Teks