Типів теорія

спосіб побудови логічного числення з кількома видами термінів (констант і змінних)