Logika dan teori himpunan , Marsudi - MARSUDI