New book in Euclides Library

The following new book is now available in the Euclides Library:

Sörensen, Urzyczyn, Lectures on the Curry-Howard isomorphism (Studies in Logic), 2006

For more information, see Paul van Ulsen, P.vanUlsen at uva.nl