Puɔ̈ɔ̈c de modern logic acï tɛ̈ɛ̈kic në alɔŋ de recursion theory, model theory, ku jɔl ya proof theory, ku ka thiääk kenë theoretical computer science, ku jɔl ya category theory.