Katalog der Deutschen Nationalbibliothek

Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum

Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Kataloge/Sammlungen:  Hochschulschriften
Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: "123426294"



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/481606246
Art des Inhalts Hochschulschrift
Titel Schnittelimination in einem Teilsystem der einfachen Typenlogik
Person(en) Bibel, Wolfgang (Verfasser)
Verlag München
Zeitliche Einordnung Erscheinungsdatum: 1968
Umfang/Format S. 159-178. ; gr. 8 [Umschlagt.]
Hochschulschrift München, Naturwiss. F., Diss. v. 18. Sept. 1968
Anmerkungen Aus: Mathematische Logik. 12, 3/4
Status nach VGG: vergriffen
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: U 68.11524
Bereitstellung in Frankfurt
Leipzig Signatur: Di 1970 A 6916
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration