Mathematical logic

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. These unifying themes include the study of the expressive power of formal systems and the deductive power of formal proof systems.

Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory.

It is necessary for mathematical logical professionals to build own personal reputation to achieve their target position in such highly competitive world. SCORE provides an exclusive opportunity for scientific community to build strong online presence using optimized social visibility.