proof theory
نظریه برهان
measure and integral
اندازه و انتگرال
constructive mathematics
ریاضیات ساختی
نظریه مجموعه‌ها
set theory
algebraic logic
منطق جبری
جبر رابطه‌ای
relational algebra
ریاضیات
mathematics
Alan Turing
آلن تورینگ
نظریه مدل
model theory
نظریه دوگانی
duality theory
اصطلاحات عمومی
general terminology
توپولوژی
topology
منطق عمومی
general logic
محاسبه‌پذیری
computability
مطالعه نظریه های ریاضی از دیدگاه نظریه مدل‌ها، نظریه توابع بازگشتی، نظریه برهان، نظریه مجموعه‌ها.
mathematical logic
منطق ریاضی
مبانی ریاضی