Decidable Theories 1
bokomslag Decidable Theories
Vetenskap & teknik

Decidable Theories

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

Pocket

789:-

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

Uppskattad leveranstid 7-11 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 Human Trafficking and Exploitation

    Human Trafficking and Exploitation

    Belachew Gebrewold, Johanna Kostenzer, Andreas Th Mller

    Inbunden

    3259:-
  2. bokomslag Decidable Theories

    Decidable Theories

    Gert H Mller Dirk Siefkes

    Pocket

    519:-
  3. bokomslag Human Trafficking and Exploitation

    Human Trafficking and Exploitation

    Belachew Gebrewold, Johanna Kostenzer, Andreas Th Mller

    Pocket

    989:-
  4. 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

    469:-
  5. bokomslag Wallpaper* City Guide Berlin

    Wallpaper* City Guide Berlin

    Jan Siefke Wallpaper*

    Pocket

    209:-
  6. 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

    1959:-
  7. bokomslag Ein neuer Gesellschaftsvertrag fr eine nachhaltige Landwirtschaft

    Ein neuer Gesellschaftsvertrag fr ein...

    Peter H Feindt, Christine Krmer, Andrea Frh-Mller, Alois Heienhuber, Claudia Pahl-Wostl

    Inbunden

    669:-
  8. bokomslag Symbolic Dynamics

    Symbolic Dynamics

    Bruce P Kitchens

    Pocket

    1629:-
  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

    Inbunden

    1959:-
  10. 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

    Pocket

    519:-

Andra av samma författare

  1. bokomslag ISILC - Proof Theory Symposion

    ISILC - Proof Theory Symposion

    G H Mller J Diller

    Pocket

    599:-
  2. bokomslag ISILC - Logic Conference

    ISILC - Logic Conference

    G H Mller, A Oberschelp, K Potthoff

    Pocket

    989:-
  3. bokomslag Higher Set Theory

    Higher Set Theory

    D S Scott G H Mller

    Pocket

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

    Logic Symposia, Hakone, 1979, 1980

    G H Mller, G Takeuti, T Tugue

    Pocket

    789:-
  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

    759:-