इसके उप-क्षेत्रों में गणितीय तर्क , दार्शनिक तर्क , निश्चयमात्रक तर्क , संगणकीय तर्क और गैर-शास्त्रीय तर्क शामिल हैं ।
Entity: गणितीय — Type: /art/music, /programming_language, /art