%0 Book
%A  Uwe Schöning.
%T Logic for computer scientists /
%U /book/90367962/Logic-for-computer-scientists/