• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik

      Computational Complexity of Logical Theories

      AvJ. Ferrante,C. W. Rackoff

      Häftad, Engelska, 1979

      Del 718 i serien Lecture Notes in Mathematics

      549 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Produktinformation

      • Utgivningsdatum:1979-07-01
      • Mått:155 x 235 x 15 mm
      • Vikt:394 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Mathematics
      • Antal sidor:244
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540095019

      Utforska kategorier

      • Matematik inom Naturvetenskap och teknik

      Innehållsförteckning

      • and background.- Ehrenfeucht games and decision procedures.- Integer addition — An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.
      Hoppa över listan

      Mer från samma författare

      C. W. Rackoff, J. Ferrante - Computational Complexity of Logical Theories, E-bok

      Computational Complexity of Logical Theories

      C. W. Rackoff, J. Ferrante

      E-bok
      2006

      710 kr

      J. Ferrante, C. W. Rackoff - The Computational Complexity of Logical Theories, Övrigt

      The Computational Complexity of Logical Theories

      J. Ferrante, C. W. Rackoff

      646 kr

      Hoppa över listan

      Mer från samma serie

      Dale Rolfsen - Knot Theory and Manifolds, Häftad
      Del 1144

      Knot Theory and Manifolds

      Dale Rolfsen

      Häftad, 1985

      278 kr

      H. Popp - Moduli Theory and Classification Theory of Algebraic Varieties, Häftad
      Del 620

      Moduli Theory and Classification Theory of Algebraic Varieties

      H. Popp

      Häftad, 1977

      311 kr

      Alexander Vasil'ev - Moduli of Families of Curves for Conformal and Quasiconformal Mappings, Häftad
      Del 1788

      Moduli of Families of Curves for Conformal and Quasiconformal Mappings

      Alexander Vasil'ev

      Häftad, 2002

      495 kr

      Joseph Bernstein, Valery Lunts - Equivariant Sheaves and Functors, Häftad
      Del 1578

      Equivariant Sheaves and Functors

      Joseph Bernstein, Valery Lunts

      Häftad, 1994

      332 kr

      Jin Ma, Jiongmin Yong - Forward-Backward Stochastic Differential Equations and their Applications, Häftad

      Forward-Backward Stochastic Differential Equations and their Applications

      Jin Ma, Jiongmin Yong

      Häftad, 1999

      658 kr

      Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza - Ricci Flow and Geometric Applications, Häftad
      Del 2166

      Ricci Flow and Geometric Applications

      Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza

      Häftad, 2016

      387 kr

      Stephen Simons - From Hahn-Banach to Monotonicity, Häftad

      From Hahn-Banach to Monotonicity

      Stephen Simons

      Häftad, 2008

      549 kr

      Alla Detinko, Dane Flannery, Eamonn O'Brien - Probabilistic Group Theory, Combinatorics, and Computing, Häftad
      Del 2070

      Probabilistic Group Theory, Combinatorics, and Computing

      Alla Detinko, Dane Flannery, Eamonn O'Brien

      Häftad, 2013

      386 kr

      Gene Abrams, Pere Ara, Mercedes Siles Molina - Leavitt Path Algebras, Häftad
      Del 2191

      Leavitt Path Algebras

      Gene Abrams, Pere Ara, Mercedes Siles Molina

      Häftad, 2017

      658 kr

      A. Dold, B. Eckmann - Index and Other Useful Information, Häftad

      Index and Other Useful Information

      A. Dold, B. Eckmann

      Häftad, 2013

      549 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Damian Slaczka - Offenbarung Und Heil in Den Nichtchristlichen Religionen?, Häftad
      Del 718

      Offenbarung Und Heil in Den Nichtchristlichen Religionen?

      Damian Slaczka

      Häftad, 2001

      584 kr

      R. A. Aliev, Nodirbek Rustambekovich Yusupbekov, Janusz Kacprzyk, Witold Pedrycz, M. B. Babanli, Fahreddin M. Sadikoglu, S. M. Turabdjanov - 12th World Conference “Intelligent System for Industrial Automation” (WCIS-2022), Häftad
      Del 718

      12th World Conference “Intelligent System for Industrial Automation” (WCIS-2022)

      R. A. Aliev, Nodirbek Rustambekovich Yusupbekov, Janusz Kacprzyk, Witold Pedrycz, M. B. Babanli, Fahreddin M. Sadikoglu, S. M. Turabdjanov

      Häftad, 2024

      3 044 kr

      Jon Cannon - Medieval Church Architecture, E-bok
      Del 718

      Medieval Church Architecture

      Jon Cannon

      E-bok
      2014

      115 kr

      KOMPASS Wanderkarte 718 Lüneburger Heide 1:50.000, Övrigt
      Del 718

      KOMPASS Wanderkarte 718 Lüneburger Heide 1:50.000

      KOMPASS Freytag & Berndt

      183 kr

      Anurag Mishra, Anirban Basu, Vipin Tyagi - Silicon Photonics & High Performance Computing, Häftad
      Del 718

      Silicon Photonics & High Performance Computing

      Anurag Mishra, Anirban Basu, Vipin Tyagi

      Häftad, 2017

      1 124 kr

      Gerard J. O’Reilly, Gian Michele Calvi - Engineering Research Infrastructures for European Synergies, Inbunden
      Del 718

      Engineering Research Infrastructures for European Synergies

      Gerard J. O’Reilly, Gian Michele Calvi

      Inbunden, 2025

      549 kr

      J. Ferrante, C. W. Rackoff - The Computational Complexity of Logical Theories, Övrigt

      The Computational Complexity of Logical Theories

      J. Ferrante, C. W. Rackoff

      646 kr

      Yusheng Xue, Yuping Zheng, Anjan Bose - Proceedings of 2020 International Top-Level Forum on Engineering Science and Technology Development Strategy and The 5th PURPLE MOUNTAIN FORUM (PMF2020), Häftad
      Del 718

      Proceedings of 2020 International Top-Level Forum on Engineering Science and Technology Development Strategy and The 5th PURPLE MOUNTAIN FORUM (PMF2020)

      Yusheng Xue, Yuping Zheng, Anjan Bose

      Häftad, 2022

      2 177 kr

      Linda M. Collins, Stephanie T. Lanza - Latent Class and Latent Transition Analysis, Inbunden
      Del 718

      Latent Class and Latent Transition Analysis

      Linda M. Collins, Stephanie T. Lanza

      Inbunden, 2010

      1 485 kr

      F W Neger, E Münch, B Huber - Die Laubhölzer, Inbunden
      Del 718

      Die Laubhölzer

      F W Neger, E Münch, B Huber

      Inbunden, 1950

      1 570 kr