logika matematická (FVL)
angl. - Symbolic Logic nem. - Logistik, mathematische Logik, mathematisierte Logik