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

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


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

# Urheber Titel Jahr Bestand
1
Hirschfeldt, Denis R. [Verfasser] Induction, bounding, weak combinatorial principles, and the homogeneous model theorem [Online-Ressource] / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. - (Memoirs of the American Mathematical Society ; volume 249, 8th of 8 numbers (September 2017) = number 1187) 

URL: https://doi.org/10.1090/memo/1187 ; Hinw.: Verlag ; Bemk.: URL des Erstveröffentlichers

 2017 
     
2
Hirschfeldt, Denis R. [Verfasser] Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. - (Memoirs of the American Mathematical Society ; volume 249, 8th of 8 numbers (September 2017) = number 1187) 

URL: http://digitale-objekte.hbz-nrw.de/storage2/2017/10/13/file_6/7419922.pdf
Inhaltsverzeichnis

 2017 
     
3
Logic Colloquium (1995 : Ḥêfā) Logic Colloquium ’95 Haifa / guest ed. Richard A. Shore. - (Annals of pure and applied logic ; 87,2 : special issue) 



1997 
     
4
Nerode, Anil, 1932- Logic for applications / Anil Nerode ; Richard A. Shore. - 2. ed.. - (Graduate texts in computer science) 

URL: http://digitale-objekte.hbz-nrw.de/storage2/2018/06/10/file_61/7887396.pdf
Inhaltsverzeichnis

 1997 
     
5
Nerode, Anil, 1932- Logic for applications / Anil Nerode ; Richard A. Shore. - (Texts and monographs in computer science) 



1993 
     


Vorige Seite   Nächste Seite