Mathematical logic

Mathematical logic: Mathematical logic is a field of mathematics that tries to formalize logic. Mathematical logic shows reasoning with symbols. Important topics are expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is important for theoretical computer science.

en_USEnglish