Základné logické kalkuly - Szomolányi, Ján (Bratislava : Univerzita Komenského, 1979)