TY - BOOK AU - Mathé,Svätoslav TI - Moderná logika SN - 8071654906 PY - 2005/// CY - Bratislava PB - Michal Vaško KW - formálna logika KW - SNKPH KW - logika KW - matematická logika KW - symbolická logika ER -