The Work Basic Proof Theory The details The Author Anne Sjerp Troelstra The offers View paperback on Amazon View hardback on Amazon