गणितीय तर्कशास्त्र
गणितीय तर्कशास्त्र (Mathematical logic) गणित की शाखा है किसका संगणक विज्ञान एवं दार्शनिक तर्कशास्त्र से निकट का सम्बन्ध है। तर्कशास्त्र का गणितीय अध्ययन तथा गणित के अन्य विधाओं में तर्कशास्त्र (formal logic) के अनुप्रयोग दोनो ही इसके अंतर्गत आते हैं।

प्राय: गणितीय तर्कशास्त्र को समुच्चय सिद्धान्त, मॉडल सिद्धान्त (model theory), रिकर्सन सिद्धान्त (recursion theory) तथा सिद्धि सिद्धान्त (proof theory) नामक क्षेत्रों में विभक्त किया जाता है।
Q395
गणित
Concept
Q21198
संगणक विज्ञान
Concept
None
दार्शनिक तर्कशास्त्र
UNK
Q8078
तर्कशास्त्र
Concept
Q12482
समुच्चय सिद्धान्त
Concept
None
मॉडल सिद्धान्त
UNK
None
रिकर्सन सिद्धान्त
UNK
Q1166618
गणितीय तर्कशास्त्र
Concept
Q1166618
गणितीय तर्कशास्त्र
Concept
part of
subclass of
part of
part of
subclass of