Siefkes, Dirk
著者名典拠詳細を非表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | GI-4. Jahrestagung, 1975: t.p. verso (Dr. D. Siefkes, Technische Univ. Berlin, Automatentheorie und Formale Sprachen, Fachbereich Kybernetik) Vorwort (Dirk Siefkes) |
| 別名 | Siefkes, D. |
| コード類 | 典拠ID=AU00108786 NCID=DA0225885X |
| 1 | Grundzüge der Logik / Willard Van Orman Quine ; übersetzt von Dirk Siefkes 3. Aufl. - Frankfurt am Main : Suhrkamp , 1981 |
| 2 | The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes : Germany,: U.S.. - Berlin ; New York : Springer , 1973 |
| 3 | Büchi's monadic second order successor arithmetic / Dirk Siefkes Berlin : Springer-Verlag , 1970 |