Tag Suche nach Predicate calculus

Büchi's Monadic Second Order Successor Arithmetic von Dirk Siefkes - Informationen zur Ausgabe Wer nach einem Buch von Dirk Siefkes aus dem Themenfeld Sachbuch sucht, findet mit Bü...

Was ist zu Dirk Siefkes bekannt? Als externe Referenz ist die Open-Library-ID OL782472A hinterlegt. Hinterlegte Eckdaten Letztes Open-Library-Update: 2008-08-25 02:22:02 Rolle im D...

Aussagenlogik, Mengen, Relationen - Details zu Inhalt, Autor und Veröffentlichung Aussagenlogik, Mengen, Relationen ist ein Werk von Hans-Dieter Gerster, das innerhalb der Kategori...

Hans-Dieter Gerster im Überblick Als externe Referenz ist die Open-Library-ID OL1881277A hinterlegt. Hinterlegte Eckdaten Zuletzt mit Open Library abgeglichen am: 2008-08-26 13:19:...

Alles Wichtige zu Klassische und Nichtklassische Aussagenlogik Klassische und Nichtklassische Aussagenlogik ist ein Werk von Wolfgang Rautenberg, das innerhalb der Kategorie Sachbu...

Wolfgang Rautenberg im Überblick Als externe Referenz ist die Open-Library-ID OL1681471A hinterlegt. Profildaten im Überblick Erfasster Beitragstyp: author Open-Library-ID: OL16814...

Kurzprofil von Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH ist hier als Verlag erfasst und kann zur Einordnung von B...

Springer im Überblick Springer ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. Gerade für einen schnellen Überblick über Verlagsangaben is...

Kurzprofil von Herder Herder wird in diesem Datensatz als Buchverlag geführt und dient als Referenz für verlegerische Zuordnungen. So kann Herder bei der Recherche nach Verlagen un...