BSTS / Mantık Terimleri Sözlüğü
birli yüklemler mantığı anlamı İng. monadic predicate logic Alm. monadische Praedikatenlogik Fr. logique des prédicats monadiques
Mantıksal olmayan değişmez türleri, yalnız ad ve birli yüklemleri kapsayan yüklemler mantığı bölümü.