Custom cover image
Custom cover image

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

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Studies in logic and the foundations of mathematics ; v. 149Publisher: Amsterdam ; Boston [MA] : Elsevier, 2006Edition: 1st edDescription: Online-Ressource xiv, 442 p : ill ; 24 cmISBN:
  • 0444520775
  • 9780444520777
Subject(s): Additional physical formats: Erscheint auch als: Lectures on the Curry-Howard isomorphism. Druck-Ausgabe 1st ed. Amsterdam : Elsevier, 2006. XIV, 442 SDDC classification:
  • 511.3/26 22
MSC: MSC: *03-02 | 03B40 | 03B70 | 03F05 | 03F10RVK: RVK: SK 110 | SK 130LOC classification:
  • QA9.54
Online resources: PPN: PPN: 1684904420Package identifier: Produktsigel: ZDB-1-ELC
No physical items for this record

Online-Ausg.]. (Elsevier e-book collection on ScienceDirect)

KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT

Powered by Koha