Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 5 von 5 für Suche '"Decidable theories"', Suchdauer: 1,19s Treffer weiter einschränken
  1. 1
    Büchi's monadic second order successor arithmetic

    Büchi's monadic second order successor arithmetic von Siefkes, Dirk 1938-2016

    Veröffentlicht 1970
    “… Decidable theories …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Büchi's Monadic Second Order Successor Arithmetic

    Büchi's Monadic Second Order Successor Arithmetic von Siefkes, Dirk 1938-2016

    Veröffentlicht 1970
    DE-703
    DE-706
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The monadic second order theory of all countable ordinals

    The monadic second order theory of all countable ordinals von Büchi, Julius Richard 1924-1984, Siefkes, Dirk 1938-2016

    Veröffentlicht 1973
    “… Decidable theories …”
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The monadic second order theory of all countable ordinals

    The monadic second order theory of all countable ordinals von Büchi, Julius Richard 1924-1984, Siefkes, Dirk 1938-2016

    Veröffentlicht 1973
    DE-521
    DE-703
    DE-523
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Büchi's monadic second order successor arithmetic

    Büchi's monadic second order successor arithmetic von Siefkes, Dirk 1938-2016

    Veröffentlicht 1970
    DE-521
    DE-703
    DE-523
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: