"गणितीय तर्कशास्त्र": अवतरणों में अंतर

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