%0 Book
%A  Martin Hils, François Loeser.
%T A first journey through logic /
%U /book/90217289/A-first-journey-through-logic/