About this class
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
Comments (0)
Learning Material
Title
Volume
Unit 1: Model Theory
5.89 MB
<p>Model Theory</p>
Unit 2: Proof Theory
5.89 MB
<p>Proof Theory</p>
Unit 3: Recursion Theory
5.89 MB
<p>Recursion Theory</p>
Unit 4: Non-Classical Logics
5.89 MB
<p>Non-Classical Logics</p>
Unit 5: Set Theory and Axiomatic Set Theory
5.89 MB
<p>Set Theory and Axiomatic Set Theory</p>
Unit 6: Computability Theory
5.89 MB
<p>Computability Theory</p>
Unit 7: Modal Logic
5.89 MB
<p>Modal Logic</p>
Unit 8: Type Theory
5.89 MB
<p>Type Theory</p>

Exams
Title
Min
Grade
Attempts
Status
Mathematical Rogic
49
Questions, 90
Min
50/98
0/1
-
Certificates
Title
Min
Grade
Mathematical Rogic
50/98
0
0 Reviews