לוגיקה מָתֵמָטית מחשבים ומערכות מידע
לועזית: mathematical logic

השימוש בתפיסות מתימטיות לייצוג ארגומנטים.