The Work Lectures on Linear Logic The details The Author Anne Sjerp Troelstra The offers View on Kindle View paperback on Amazon View hardback on Amazon