Katalog der Deutschen Nationalbibliothek

Expertensuche ?

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

Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.

Ergebnis der Suche nach: "117712302"
im Bestand: Gesamter Bestand

11 - 20 von 32

	11	Term logic with choice operator Hermes, Hans. - Berlin : Springer, 1970, Rev. and enlarged transl. of the 1st German ed.
	12	Turing-Maschinen und berechenbare Funktionen 1 Ebbinghaus, Heinz-Dieter. - Berlin : Springer, 1970
	13	Einführung in die mathematische Logik Hermes, Hans. - Stuttgart : Teubner, 1969, 2., durchges. u. erw. Aufl.
	14	Enumerability, decidability, computability Hermes, Hans. - Berlin : Springer, 1969, 2nd, rev. ed.
	15	Mathesis universalis Scholz, Heinrich. - Darmstadt : Wiss. Buchges., 1969, 2. Aufl.
	16	Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien Hermes, Hans. - Köln : Westdeutscher Verl., 1967
	17	Einführung in die Verbandstheorie Hermes, Hans. - Berlin : Springer, 1967, 2., erw. Aufl.
	18	Eine Termlogik mit Auswahloperator Hermes, Hans. - Berlin : Springer, 1965
	19	Enumerability, decidability, computability Hermes, Hans. - Berlin : Springer, 1965
	20	Einführung in die mathematische Logik Hermes, Hans. - Stuttgart : Teubner, 1963