तर्कशास्त्र का गणितीय अध्ययन तथा गणित के अन्य विधाओं में तर्कशास्त्र ( formal logic ) के अनुप्रयोग दोनो ही इसके अंतर्गत आते हैं ।
Entity: गणितीय — Type: /art/music, /programming_language, /art