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

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


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

# Urheber Titel Jahr Bestand
1

Categorical logic and type theory [Online-Ressource]. - (141) 

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

 2014 
     
2
Jacobs, Bart Categorical logic and type theory / Bart Jacobs. - Digital print.. - (Studies in logic and the foundations of mathematics ; 141) 



2005 
     
3
Jacobs, Bart, 1963- Categorical logic and type theory / Bart Jacobs. - (Studies in logic and the foundations of mathematics) 



1999 
     
4
Jacobs, Bart [Verfasser] Categorical logic and type theory [Online-Ressource] / Bart Jacobs. - 1st ed. - (Studies in logic and the foundations of mathematics ; v. 141) 

URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141 ; Bemk.: An electronic book accessible through the World Wide Web; click for information

 1999  1105 Remagen: HSB Koblenz
929 KO: Rhein. LB
987 KO: HSB Koblenz
Tr 5 TR: HSB Trier
     
5
Jacobs, Bart Categorical logic and type theory / Bart Jacobs. - First edition. - (Studies in logic and the foundations of mathematics ; 141) 



1999 
     
6
Jacobs, Bart Categorical logic and type theory / Bart Jacobs. - 1. ed.. - (Studies in logic and the foundations of mathematics ; 141) 



1999 
     


Vorige Seite   Nächste Seite