Image from Google Jackets
Image from Coce
Image from OpenLibrary

Lectures on the Curry-Howard Isomorphism / Morten Heine Sørensen, Pawel Urzyczyn

By: Contributor(s): Material type: TextTextSeries: Studies in logic and the foundations of mathematics ; 149Publication details: Amsterdam : Elsevier, 2006Description: xiv, 442 sISBN:
  • 0-444-52077-5
  • 978-0-444-52077-7
Subject(s): Other classification:
  • Dca
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current library Call number Status Date due Barcode
Bok Arflundra bibliotek La 510.6 Sørensen (Browse shelf(Opens below)) Available (Not withdrawn) 3800

There are no comments on this title.

to post a comment.