Pengantar Logika Matematika - Rachmat, Setiadi (Informatika, 2004)
vi + 162