%0 Book
%A / Sara Negri, Jan von Plato
%T Proof analysis
%U /book/93584761/Proof-analysis/