Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9780444520777"; Sortiert nach: Jahr, dann Urheber

  Vollanzeige Speichern/Senden Auswahlliste In den Korb Modifizieren Hilfe zur Ergebnisliste


Titel 1 - 3 von 3  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1

Lectures on the Curry-Howard Isomorphism [Online-Ressource]. - (149) 

URL: https://www.sciencedirect.com/science/bookseries/0049237X/149

 2014 
     
2
Sørensen, Morten Heine [Verfasser] Lectures on the Curry-Howard isomorphism [Online-Ressource] / Morten Heine Sørensen, Paweł Urzyczyn. - 1st ed. - (Studies in logic and the foundations of mathematics ; v. 149) 

URL: http://www.engineeringvillage.com/controller/servlet/OpenURL?genre=book&isbn=9780444520777 ; Bemk.: An electronic book accessible through the World Wide Web; click for information
URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=149 ; Bemk.: An electronic book accessible through the World Wide Web; click for information

 2006  1105 Remagen: HSB Koblenz
929 KO: Rhein. LB
987 KO: HSB Koblenz
Tr 5 TR: HSB Trier
     
3
Sørensen, Morten Heine Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen ; Paweł Urzyczyn. - (Studies in logic and the foundations of mathematics ; 149) 

URL: http://digitale-objekte.hbz-nrw.de/storage2/2018/06/15/file_245/7912586.pdf
Inhaltsverzeichnis

 2006 
     


Vorige Seite   Nächste Seite