Image from Google Jackets

Lectures on the curry-Howard isomorphism Morten Heine Sørensen, Paweł Urzyczyn

By: Contributor(s): Publication details: Amsterdam Elsevier c2006Edition: 1st edDescription: xiv, 442 pISBN:
  • 9780444520777
ISSN:
  • 2006048390
Subject(s): DDC classification:
  • 511.326 SOR
Item type: Books
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Current library Call number Status Date due Barcode
Anna Centenary Library 511.326 SOR (Browse shelf(Opens below)) Available 350897

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map

Powered by Koha