Katalog der Deutschen Nationalbibliothek


Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Standorte:  Leipzig
Neuigkeiten Aufgrund der Corona-Pandemie bleiben die Benutzungsbereiche der Deutschen Nationalbibliothek bis auf Weiteres, voraussichtlich bis Sonntag, 31. Januar 2021 geschlossen. Bestellungen von Medien werden in dieser Zeit nicht bearbeitet. Alle Informationen dazu finden Sie auf unserer Homepage.
 
Neuigkeiten Die mehr als 1,3 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
 
 


Ergebnis der Suche nach: betRef=172098351
im Bestand: Gesamter Bestand

1 - 3 von 3
<< < > >>


Online Ressourcen 1 Typed lambda calculi and applications
Berlin : Springer, 2002
Online Ressource
Bücher 2 Typed lambda calculi and applications
Berlin : Springer, 1999
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 3 La prova di Gödel
Nagel, Ernest. - Torino : Bollati Boringhieri, 1992, 2. ed. accresciuta, rist.
Vorhanden in Leipzig


1 - 3 von 3
<< < > >>


E-Mail-IconAdministration