Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "123426294"
Treffer 29 von 30
|
|
| 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 29 von 30
Administration
