Aviva Directory » Science & Technology » Formal Sciences » Mathematics » Logic

Mathematical logic is a branch of mathematics that has close connections to both computer science and philosophical logic. The field includes both the mathematical study of logic and its applications to other areas of mathematics. Mathematical logic is often divided into the subfields of set theory, model theory, recursion theory, proof theory, and constructive mathematics.



Recommended Resources

Search for Logic on Google, Bing, or Yahoo!