teoria nazw
dział logiki formalnej, obejmujący logiczne schematy wnioskowania, w których występują zmienne nazwowe i funktory zdaniotwórcze od argumentów nazwowych; bada budowę nazw i strukturę prostych zdań zawierających nazwy.
- ZDAŃ RACHUNEK, teoria zdań
- SILVA RERUM, (łac. = las rzeczy)...
- macierz, uporządkowany zbiór...