Download

MALOG 2014, Axiomatika výrokové logiky