The journal
Open the journal →The conversation starts in the journal — be the first to post.
About mathematical logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include usage of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.
Everything about mathematical logic →