Reverse mathematics is a vibrant programme in mathematical logic that investigates the axioms necessary to establish fundamental theorems throughout mathematics. Central to this endeavour are ...

Combinatorial mathematics, or combinatorics for short, is the study of structures consisting of a finite number of objects. It mainly has three forms: enumerative (counting the number of structures of ...

Algebra is the discipline of pure mathematics that is concerned with the study of the abstract properties of a set, once this is endowed with one or more operations that respect certain rules (axioms) ...

If you are interested in the real-world applications of numbers, discrete mathematics may be the concentration for you. Because discrete mathematics is the language of computing, it complements the ...