logicznej
Encyklopedia PWN
rachunek nazw, teoria nazw,
dział logiki formalnej, którego przedmiotem badań są formuły logiczne (logiczne schematy wnioskowania), zawierające tzw. zmienne nazwowe, oznaczane zwykle dużymi literami (A, B, C... P, S, M...), a także funktory zdaniotwórcze od argumentów nazwowych.
filozof indyjski;
inform. układ elektroniczny procesora służący do wykonywania operacji arytmetycznych i logicznych.
czeski matematyk, logik, filozof i teolog, ksiądz;
malarz francuski, jeden z najwybitniejszych artystów przełomu XIX i XX w..
