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

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


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

# Urheber Titel Jahr Bestand
1
Girard, Jean-Yves, 1947- Proofs and types / Jean-Yves Girard ; Paul Taylor ; Yves Lafont. - Reprint. with minor corr.. - (Cambridge tracts in theoretical computer science ; 7) 



1993 
     
2
Girard, Jean-Yves, 1947- Proofs and types / Jean-Yves Girard ; Paul Taylor ; Yves Lafont. - Repr. with minor corr.. - (Cambridge tracts in theoretical computer science ; 7) 



1990 
     
3
Girard, Jean-Yves, 1947- Proofs and types / Jean-Yves Girard ; Paul Taylor ; Yves Lafont. - Reprint. with minor corr.. - (Cambridge tracts in theoretical computer science ; 7) 



1990 
     
4
Girard, Jean-Yves, 1947- Proofs and types / Jean-Yves Girard ; Paul Taylor ; Yves Lafont. - (Cambridge tracts in theoretical computer science ; 7) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2007/08/24/file_18/2023227.pdf
Inhaltsverzeichnis

 1989 
     


Vorige Seite   Nächste Seite