Zemaneviy mantıq, rekursiya nazariyesi, şekiller nazariyesi ve isbatlar nazariyesine bölünip nazariy informatika ve kategoriyalar nazariyesinen sıqı bağda bulunmaqtadır.