Mathematical logic

Home > Philosophy > Logic > Set Theory > Mathematical logic

The study of mathematical reasoning and its formalization.