# Lectures on the Curry-Howard Isomorphism

**By**

- Morten Heine Sørensen, M.Sc, Ph.D, University of Copenhagen, Denmark
- Pawel Urzyczyn, prof. dr hab., Warsaw University, Poland

### Audience

Graduate students, lecturers and researchers in logic and theoretical computer science. Also for graduate students, lecturers and researchers in philosophy and mathematics.

### Book information

- Published: July 2006
- Imprint: ELSEVIER
- ISBN: 978-0-444-52077-7