Pokok-pokok logika formil - Soerjabrata, Soemadi (Sumbangsih, 1971)