Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Büchi's monadic second order successor arithmetic Dirk Siefkes von Siefkes, Dirk, 1938-2016 [aut] Reihen: Decidable theories ; 1 \| Lecture notes in mathematics ; 120 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1970 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis 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) LNM 120, ... Vormerken Zum Korb hinzufügen (Entfernen)
	2.	The monadic second order theory of all countable ordinals J. Richard Büchi; Dirk Siefkes von Büchi, Julius Richard, 1924-1984 [aut] Siefkes, Dirk, 1938-2016 [aut] Reihen: Decidable theories ; 2 \| Lecture notes in mathematics ; 328 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin [u.a.] Springer 1973 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Cover 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) LNM 328. Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche