Skip to contents Spahn, Stephan [Author] ; Eberhard Karls Universität Tübingen Axiomatizations of compositional inductive-recursive definitions Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen, 2018 Spahn, Stephan [Author] ; Schroeder-Heister, Peter [Degree supervisor] Axiomatizations of Compositional Inductive-Recursive Definitions Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen: Universitätsbibliothek Tübingen, 2018
Spahn, Stephan [Author] ; Eberhard Karls Universität Tübingen Axiomatizations of compositional inductive-recursive definitions Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen, 2018
Spahn, Stephan [Author] ; Schroeder-Heister, Peter [Degree supervisor] Axiomatizations of Compositional Inductive-Recursive Definitions Books View online Schließen > Access ... to E-book via Resolving system ... to E-book via German National Library Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen: Universitätsbibliothek Tübingen, 2018
> Subject Skip to next facet Mathmatics (2) Wert ausschließen Computer science (1) Wert ausschließen Philosophy (1) Wert ausschließen Psychology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Spahn, Stephan (2) Wert ausschließen Eberhard Karls Universität Tübingen (1) Wert ausschließen Schroeder-Heister, Peter (1) Wert ausschließen Show more show less
> Collection Skip to next facet Diss online (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen Show more show less