RUS
ENG
Full version
SEMINARS
Research Seminar of the Department of Higher Algebra MSU
December 7, 2020
15:45
, Zoom
Критерий неявной полноты в трехзначной логике
M. V. Starostin
©
Steklov Math. Inst. of RAS
, 2024