Aljabar Logika dan Himpunan - Suryadi (1993)