Ergebnisse
|
1.
|
|
|
2.
|
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit Einführung in die Theorie der rekursiven Funktionen Hans Hermes von Reihen: ; 87,2 | Heidelberger Taschenbücher ; 87.1971
Auflage: 2. Auflage, rev. Aufl. von Bd. 109
Materialtyp: Text; Format:
Druck Sprache: Deutsch Verlag: Berlin Heidelberg New York Springer 1971
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HER h 1971:1 2.Ex, ... Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HER h 1971:1 1.Ex.
|
|
3.
|
|
|
4.
|
|
|
5.
|
Theory of formal systems by Raymond M. Smullyan von Reihen: ; 47,rev | Annals of mathematics studies ; 47,rev
Auflage: Rev. ed.
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Princeton, NJ Princeton Univ. Press 1961
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AOMS 47 2.Ex, ...
|
|
6.
|
Theory of formal systems by Raymond M. Smullyan von Reihen: ; 47 | Annals of mathematics studies ; 47
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Princeton, NJ Princeton Univ. Press 1961
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AOMS 47,2.
|
|
7.
|
Logic, induction and sets Thomas Forster von Reihen: ; 5600 | London Mathematical Society London Mathematical Society student texts ; 56 |
Auflage: 1. publ.
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 2003
Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) FOR th 2003:1 1.Ex. Nicht verfügbar: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Ausgeliehen (1).
|
|
8.
|
Recursiveness Samuel Eilenberg; Calvin C. Elgot von
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: New York [u.a.] Acad. Pr. 1970
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) EIL s 1970:1 1.Ex, ...
|
|
9.
|
|
|
10.
|
|
|
11.
|
|