Pengantar logika matematik dan beberapa pemakaiannya - Culo, Angerago (USD, 1973)