Bokus

G.H. Müller – författare

Visar alla böcker från författaren G.H. Müller. Handla med fri frakt och snabb leverans.

8 produkter

  1. J.R. Büchi, D. Siefkes, G.H. Müller, D. Siefkes - Decidable Theories, Häftad. Tillgänglighet: Lägg i varukorg

    Decidable Theories

    Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

    Av J.R. Büchi, D. Siefkes m. fl.

    Häftad, 1973

    442 kr

    Lägg i varukorg

  2. J. Diller, G.H. Müller - ISILC - Proof Theory Symposion, Häftad. Tillgänglighet: Lägg i varukorg

    ISILC - Proof Theory Symposion

    Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

    Av J. Diller, G.H. Müller

    Häftad, 1976

    388 kr

    Lägg i varukorg

  3. G.H. Müller, D.S. Scott - Higher Set Theory, Häftad. Tillgänglighet: Lägg i varukorg

    Higher Set Theory

    Proceedings, Oberwolfach, Germany, April 13-23, 1977

    Av G.H. Müller, D.S. Scott

    Häftad, 1978

    551 kr

    Lägg i varukorg

  4. G.H. Müller, G. Takeuti, T. Tugue - Logic Symposia, Hakone, 1979, 1980, Häftad. Tillgänglighet: Lägg i varukorg

    Logic Symposia, Hakone, 1979, 1980

    Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

    Av G.H. Müller, G. Takeuti m. fl.

    Häftad, 1981

    442 kr

    Lägg i varukorg

  5. D.S. Scott, G.H. Muller - Higher Set Theory, E-bok. Tillgänglighet: Lägg i varukorg

    Higher Set Theory

    Proceedings, Oberwolfach, Germany, April 13-23, 1977

    Av D.S. Scott, G.H. Muller

    E-bok, 2007

    734 kr

    Lägg i varukorg

  6. G.H. Muller, J. Diller - ISILC - Proof Theory Symposion, E-bok. Tillgänglighet: Lägg i varukorg

    ISILC - Proof Theory Symposion

    Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

    Av G.H. Muller, J. Diller

    E-bok, 2006

    431 kr

    Lägg i varukorg

  7. T. Tugue, G. Takeuti, G.H. Muller - Logic Symposia, Hakone, 1979, 1980, E-bok. Tillgänglighet: Lägg i varukorg

    Logic Symposia, Hakone, 1979, 1980

    Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

    Av T. Tugue, G. Takeuti m. fl.

    E-bok, 2006

    587 kr

    Lägg i varukorg

  8. D. Siefkes, J.R. Buchi, D. Siefkes, G.H. Muller - Decidable Theories, E-bok. Tillgänglighet: Lägg i varukorg

    Decidable Theories

    Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

    Av D. Siefkes, J.R. Buchi m. fl.

    E-bok, 2006

    587 kr

    Lägg i varukorg