Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung erforderlich. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Achtung: Die Bereitstellungszeit für bestellte Medien beträgt aktuell 5 Tage!
 
Neuigkeiten Ihre Meinung ist gefragt! Wir möchten gerne von Ihnen erfahren, was Ihnen in der Deutschen Nationalbibliothek gut gefällt und was wir noch verbessern können. Teilnehmen können Sie im Zeitraum vom 2. November bis 14. Dezember 2020 über unsere Homepage – einfach auf das Logo klicken!
 
 
 


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