Ushbu mustaqil ish Diskret matematika va matematik mantiq fanidan tayyorlangan bo'lib, Post teoremasi va uning natijalarini o'rganadi. Unda Post jadvali va uning Bul funksiyalarini yopiq sinflarga ajratishdagi roli tushuntiriladi