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

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


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

# Urheber Titel Jahr Bestand
1
Barendregt, Hendrik P., 1947- Lambda calculus with types [Elektronische Ressource] / Henk Barendregt ; Wil Dekkers ; Richard Statman. - (Perspectives in logic) 

URL: http://dx.doi.org/10.1017/CBO9781139032636 ; Hinw.: Verlag

 2013 
     
2
Barendregt, Hendrik P., 1947- Lambda calculus with types / Henk Barendregt ; Wil Dekkers ; Richard Statman. ASL, Association for Symbolic Logic. - (Perspectives in logic) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2013/11/07/file_7/5373671.pdf
Inhaltsverzeichnis

 2013 
     


Vorige Seite   Nächste Seite