അർത്ഥം : Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.
പര്യായപദങ്ങൾ : formal logic, symbolic logic
Mathematical logic meaning in Bengali (Bangla).