गणितीय तर्कशास्त्र ( Mathematical logic ) गणित की शाखा है किसका संगणक विज्ञान एवं दार्शनिक तर्कशास्त्र से निकट का सम्बन्ध है ।
Entity: गणित — Type: /art/music, /programming_language, /art