Wheelers Books
Refine By
Publication Date
Fiction / Non-Fiction
    Age
      Format
        Extended Format
        Show Large Print:
        Category
          Publication Country
            Latest Additions
            Language
              Price
              -

              Books by Jan Krajicek

              Stock Availability: Sort by: View:

              Total 4 jump to: go
              Arithmetic, Proof Theory, and Computational Complexity
               

              Arithmetic, Proof Theory, and Computational Complexity (Hardback)

              Edited by Clote, Peter; Krajicek, Jan

              • RRP: $368.99
              • $368.99
              • To Order

              This book principally concerns the area of Logical Complexity Theory , the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questio...ns together with a bibliography of references.
              Read more

              ISBN 9780198536901
              Released NZ 6 May 1993
              Publisher Oxford University Press (S1)
              Interest Age General Audience
              Series Oxford Logic Guides
              Availability
              Indent title (internationally sourced), allow 8-12 weeks
              View details for this title
              Forcing with Random Variables and Proof Complexity
               

              Forcing with Random Variables and Proof Complexity (Trade Paperback / Paperback)

              By Krajicek, Jan

              • RRP: $195.99
              • $142.95
              • Save $53.04
              • No availability locally

              A model-theoretic approach to bounded arithmetic and propositional proof complexity.

              ISBN 9780521154338
              Publisher Cambridge University Press
              Interest Age General Audience
              Series London Mathematical Society Lecture Note Series
              Availability
              Internationally sourced; usually ships 2-3 weeks
              View details for this title
              Proof Complexity
               

              Proof Complexity (Hardback)

              By Krajicek, Jan

              • RRP: $236.99
              • $236.99
              • To Order

              Self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.

              ISBN 9781108416849
              Released NZ 30 Jun 2019
              Publisher Cambridge University Press
              Interest Age General Audience
              Series Encyclopedia of Mathematics and Its Applications
              Availability
              Indent title (internationally sourced), allow 8-12 weeks
              View details for this title
              Bounded Arithmetic, Propositional Logic and Complexity Theory
               

              Bounded Arithmetic, Propositional Logic and Complexity Theory (Hardback)

              By Krajicek, Jan; Series edited by Rota, Gian-Carlo; Doran, B.; Ismail, M.; Lam, T. Y.

              • RRP: $509.50
              • $509.50
              • To Order

              Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems.

              ISBN 9780521452052
              Released NZ 1 Apr 1996
              Publisher Cambridge University Press
              Interest Age General Audience
              Series Encyclopedia of Mathematics and Its Applications
              Availability
              Indent title (internationally sourced), allow 8-12 weeks
              View details for this title
              Total 4 jump to: go