%0 Generic
%A Roman Kossak
%T Mathematical Logic
%8 2021
%I Springer Science+Business Media
%U