Логика
Kvantifikator (logika)
Nemonotonska logika
Исказни рачун
Filozofska logika
Rezolucija (logika)
Podrazumevana logika
Argument (logika)
Математичка логика
Логика првог реда
Аритметичко-логичка јединица
Модална логика
Opisna logika
Програмабилна логика поља
Расплинута логика
Pravilo zaključivanja
Logički operator
Одлучивост
Индуктивно логичко програмирање
Логичка синтеза
Абдуктивна логика програмирања
Opseg (logika)
Логичко програмирање
Abduktivno rezonovanje
Unifikacija (informatika)
Логичко-филозофски трактат
Ваљаност (логика)
Simbolička veštačka inteligencija
Falsifikabilnost
Таутологија (логика)
Принудно логичко програмирање
Логичка конјункција
Логичка капија
NMOS
Исказ (логика)