RUS  ENG
Full version
VIDEO LIBRARY

Logical Perspectives 2021: Summer School and Workshop
June 19, 2021 16:00, Moscow, online


Unrefutability by clause set cycles

J. Vierling




Language: English


© Steklov Math. Inst. of RAS, 2024