Kybernetika 11 no. 1, 3-25, 1975

States of affairs as values for formulas

Miroslav Mleziva

Classification:

03A05, 02A05, 92A20, 03B99