Jan Krajicek

New Releases

Language

Ebook Format

DRM

1 - 4 of 4 results

Forcing with Random Variables and Proof Complexity
Cambridge University Press (2010)
AU$63.80

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

Bounded Arithmetic, Propositional Logic and Complexity Theory
Cambridge University Press (1995)
AU$218.90

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

Proof Complexity
Cambridge University Press (2019)
AU$152.90

Offers a self-contained work presenting basic ideas, classical results, current state of the art and...

Logic Colloquium '01
Cambridge University Press (2017)
AU$182.60

This volume contains proceedings of the European Summer Meeting of the Association for Symbolic...