Theory (logic)

Из Википедии, свободной энциклопедии