%0 Book
%A / Peter B. Andrews
%T An introduction to mathematical logic and type theory. to truth through proof
%U /book/103043098/An-introduction-to-mathematical-logic-and-type-the/