Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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,

Please note that this newsitem has been archived, and may contain outdated information or links.