Katalog der Deutschen Nationalbibliothek


Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Kataloge/Sammlungen:  Teilbestand nach VGG
Neuigkeiten

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

 
Neuigkeiten Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.
 
 
 


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

1 - 10 von 29
<< < > >>


Bücher 1 Einführung in die mathematische Logik
Hermes, Hans. - Stuttgart : Teubner, 1991, 5. Aufl., unveränd. Nachdr. der 4. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 2 Nachgelassene Schriften und wissenschaftlicher Briefwechsel / Bd. 1. Nachgelassene Schriften
1983, 2., rev. Aufl., erw. um e. Anh. Nachschrift einer Vorlesung und Protokolle mathematischer Vorträge Freges / eingel. von Lothar Kreiser unter Mitw. von Günter Grosche
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 3 Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hermes, Hans. - Berlin, Heidelberg, New York : Springer, 1978, 3. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4 Einführung in die mathematische Logik
Hermes, Hans. - Stuttgart : Teubner, 1976, 4. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5 Introduction to mathematical logic
Hermes, Hans. - Berlin, Heidelberg, New York : Springer, 1973
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 6 Einführung in die mathematische Logik
Hermes, Hans. - Stuttgart : Teubner, 1972, 3., neubearb. u. erw. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7 Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Hermes, Hans. - Berlin : Springer, 1971, 2. Aufl.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 8 Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften
Hildesheim : Gerstenberg, 1970, Nachdr.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 9 Term logic with choice operator
Hermes, Hans. - Berlin : Springer, 1970, Rev. and enlarged transl. of the 1st German ed.
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 10 Turing-Maschinen und berechenbare Funktionen 1
Ebbinghaus, Heinz-Dieter. - Berlin : Springer, 1970
Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 10 von 29
<< < > >>




Materialarten

Alle Materialarten

Kataloge/Sammlungen

Alle Kataloge/SammlungenTeilbestand nach VGG (29)

Standorte

Alle StandorteLeipzig (29)

E-Mail-IconAdministration