logica matematica: Definizione e Significato

ramo della matematica che si occupa dei meccanismi di collegamento delle proposizioni, a prescindere dagli oggetti a cui si applicano