Decidable Theories 1
bokomslag Decidable Theories
Vetenskap & teknik

Decidable Theories

J R Bchi • D Siefkes • G H Mller • D Siefkes

Pocket

609:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 224 sidor
  • 1973
The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.

  • Författare: J R Bchi, D Siefkes, G H Mller, D Siefkes
  • Format: Pocket/Paperback
  • ISBN: 9783540063452
  • Språk: Engelska
  • Antal sidor: 224
  • Utgivningsdatum: 1973-07-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Decidable Theories

    Decidable Theories

    Gert H Mller Dirk Siefkes

    Pocket

    389:-
  2. bokomslag The Study of Time

    The Study of Time

    J T Fraser, F C Haber, G H Mller

    Pocket

    1499:-
  3. bokomslag Human Trafficking and Exploitation

    Human Trafficking and Exploitation

    Belachew Gebrewold, Johanna Kostenzer, Andreas Th Mller

    Inbunden

    2709:-
  4. bokomslag The Beginning of Heaven and Earth Has No Name

    The Beginning of Heaven and Earth Has...

    Heinz Von Foerster, Albert Mller, Karl H Mller

    Inbunden

    1509:-
  5. bokomslag Finite Automata, Their Algebras and Grammars

    Finite Automata, Their Algebras and G...

    Dirk Siefkes J Richard Bchi

    Pocket

    1499:-
  6. bokomslag Symbolic Dynamics

    Symbolic Dynamics

    Bruce P Kitchens

    Pocket

    1289:-
  7. bokomslag Human Trafficking and Exploitation

    Human Trafficking and Exploitation

    Belachew Gebrewold, Johanna Kostenzer, Andreas Th Mller

    Pocket

    989:-
  8. bokomslag Historisch-kritische Einleitung in die Bcher des Alten Testaments. Zweiter Teil.

    Historisch-kritische Einleitung in di...

    Abraham Kuenen, Th Weber, C Th Mller

    Pocket

    479:-
  9. bokomslag Advances in Mechanics of Materials and Structural Analysis

    Advances in Mechanics of Materials an...

    Holm Altenbach, Frank Jablonski, Wolfgang H Mller, Konstantin Naumenko, Patrick Schneider

    Pocket

    1499:-
  10. bokomslag Topology for Beginners: A Rigorous Introduction to Set Theory, Topological Spaces, Continuity, Separation, Countability, Metrizability, Compac

    Topology for Beginners: A Rigorous In...

    Steve Warner

    Häftad

    1429:-

Andra av samma författare

  1. bokomslag ISILC - Proof Theory Symposion

    ISILC - Proof Theory Symposion

    G H Mller J Diller

    Pocket

    529:-
  2. bokomslag ISILC - Logic Conference

    ISILC - Logic Conference

    G H Mller, A Oberschelp, K Potthoff

    Pocket

    759:-
  3. bokomslag Higher Set Theory

    Higher Set Theory

    D S Scott G H Mller

    Pocket

    759:-
  4. bokomslag Logic Symposia, Hakone, 1979, 1980

    Logic Symposia, Hakone, 1979, 1980

    G H Mller, G Takeuti, T Tugue

    Pocket

    609:-
  5. bokomslag Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

    Proceedings of the Logic Colloquium. ...

    M M Richter G H Mller

    Pocket

    689:-
  6. bokomslag The Study of Time

    The Study of Time

    J T Fraser, F C Haber, G H Mller

    Pocket

    1499:-