Logika modern kapah dados teori rekursi, teori model, miwah teori bukti, taler mapaiketan sareng ilmu komputer teoretis, taler teori kategori.