Types for Proofs and Programs : International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Thierry Coquand
Download Now
Format: eBook (PDF)
The Fifth Crusade in Context : The Crusading Movement in the Early Thirteenth Century
E.J. Mylod
Download Now
Format: eBook (EPUB)
The Fifth Crusade in Context : The Crusading Movement in the Early Thirteenth Century
E.J. Mylod
Download Now
Format: eBook (PDF)