Logika Obecné úvahy o matematice Tarski, Alfred, analysis (logic) analýza (logika) concept (logic) filozofie filozofie matematiky logic logika matematická logika mathematical logic philosophy philosophy of mathematics pojem (logika) propositional calculus výroková logika