bugün

matematikteki bağlantıları inceleyen mantık dalı.