Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur

Filtrér resultat

Vælg pris

Alle bøger om Quantifier elimination

Decidability of Logical Theories and Their Combination
Decidability of Logical Theories and Their Combination
kr. 494,95
Decidability of Logical Theories and Their Combination
Decidability of Logical Theories and Their Combination
kr. 494,95
Logic Colloquium 2000 (hardcover)
Logic Colloquium 2000 (hardcover)
    kr. 764,95
    Logic in Tehran
    Logic in Tehran
      kr. 314,95
      Logic in Tehran
      Logic in Tehran
        kr. 529,95
        Algorithms in Real Algebraic Geometry
        Algorithms in Real Algebraic Geometry
        kr. 654,95
        Algorithms in Real Algebraic Geometry
        Algorithms in Real Algebraic Geometry
        kr. 924,95
        Automated Inequality Proving and Discovering
        Automated Inequality Proving and Discovering
        kr. 1.279,95
        Sets, Models and Proofs
        Sets, Models and Proofs
        kr. 274,95
        Introduction to Model Theory
        Introduction to Model Theory
        kr. 1.079,95
        Introduction to Model Theory
        Introduction to Model Theory
        kr. 744,95
        Lectures on Mathematical Logic, Volume II
        Lectures on Mathematical Logic, Volume II
        kr. 1.039,95
        Logic of Arithmetic
        Logic of Arithmetic
        kr. 1.039,95
        An Invitation to Mathematical Logic
        An Invitation to Mathematical Logic
        kr. 534,95
        An Invitation to Mathematical Logic
        An Invitation to Mathematical Logic
        kr. 414,95
        Logic of Arithmetic
        Logic of Arithmetic
        kr. 564,95
        Lectures on Mathematical Logic, Volume II
        Lectures on Mathematical Logic, Volume II
        kr. 564,95
        Asymptotic Differential Algebra and Model Theory of Transseries
        Asymptotic Differential Algebra and Model Theory of Transseries
        kr. 819,95
        Computational Aspects of General Equilibrium Theory
        Computational Aspects of General Equilibrium Theory
        kr. 774,95
        Asymptotic Differential Algebra and Model Theory of Transseries
        Asymptotic Differential Algebra and Model Theory of Transseries
        kr. 1.129,95
        Advances in Algebra and Model Theory
        Advances in Algebra and Model Theory
          kr. 2.739,95
          Logic Colloquium 2000 (hardcover)
          Logic Colloquium 2000 (hardcover)
            kr. 454,95
            Model Theory of Fields
            Model Theory of Fields
            kr. 994,95