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

Von:

Sørensen, Morten Heine [aut]

Mitwirkende(r):

Urzyczyn, Paweł [oth]
ScienceDirect (Online service) [oth]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Studies in logic and the foundations of mathematics ; v. 149Verlag: Amsterdam ; Boston [MA] : Elsevier, 2006Auflage: 1st edBeschreibung: Online-Ressource xiv, 442 p : ill ; 24 cmISBN:

0444520775
9780444520777

Schlagwörter: Andere physische Formen: Erscheint auch als: Lectures on the Curry-Howard isomorphism. Druck-Ausgabe 1st ed. Amsterdam : Elsevier, 2006. XIV, 442 SDDC-Klassifikation:

511.3/26 22

MSC: MSC: *03-02 | 03B40 | 03B70 | 03F05 | 03F10RVK: RVK: SK 110 | SK 130LOC-Klassifikation:

QA9.54

Online-Ressourcen:

Zugang im Netz des KIT
Zugang im Netz der HKA
Zugang im Netz der DHBW

PPN: PPN: 1684904420Package identifier: Produktsigel: ZDB-1-ELC

Exemplare ( 0 )
Titelinformationen ( 1 )

Dieser Titel hat keine Exemplare

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

Druck
Zitieren
Meinem Korb hinzufügen (Entfernen)
Datensatz speichern
BIBTEX Dublin Core MARCXML MARC (Nicht-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
Weitere Suchen

Suche nach diesem Titel in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)