Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

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

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

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

11 - 20 von 45

	11	Introduction to Mathematical Logic Hermes, Hans. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1973
	12	Einführung in die mathematische Logik Hermes, Hans. - Stuttgart : Teubner, 1972, 3., neubearb. u. erw. Aufl.
	13	Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit Hermes, Hans. - Berlin : Springer, 1971, 2. Aufl.
	14	Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften Hildesheim : Gerstenberg, 1970, Nachdr.
	15	Term Logic with Choice Operator Hermes, Hans. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1970
	16	Term logic with choice operator Hermes, Hans. - Berlin : Springer, 1970, Rev. and enlarged transl. of the 1st German ed.
	17	Turing-Maschinen und berechenbare Funktionen 1 Ebbinghaus, Heinz-Dieter. - Berlin : Springer, 1970
	18	Review Enthalten in Synthese Bd. 21, Nr. 3-4, date:10.1970: 488-493
	19	Einführung in die mathematische Logik Hermes, Hans. - Stuttgart : Teubner, 1969, 2., durchges. u. erw. Aufl.
	20	Enumerability, decidability, computability Hermes, Hans. - Berlin : Springer, 1969, 2nd, rev. ed.

11 - 20 von 45

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Alle Normdaten

Personen (1)

Aktionen