Homepage der hbz-Verbunddatenbank hbz-Verbundkatalog - Gesamtkatalog Datenschutzerklärung
Standardsuche   Expertensuche   Indexsuche   Ergebnisliste Hilfe
Einstellungen   Suchverlauf   Korb   Kataloge   Feedback Neustart
 
Ergebnisliste für ISBN= "9780521580571"; 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
Pitts, A. M. [Herausgeber] Semantics and logics of computation [Online-Ressource] / edited by Andrew M. Pitts, Peter Dybjer. - (Publications of the Newton Institute ; 14) 

URL: https://doi.org/10.1017/CBO9780511526619 ; Hinw.: Resolving-System

 1997 
     
2
Pitts, Andrew M., 1956- [Hrsg.] Semantics and logics of computation / ed. by Andrew M. Pitts. - (Publications of the Newton Institute ; 14) 



1997 
     


Vorige Seite   Nächste Seite