Hoppa till sidans huvudinnehåll

Jan Krajícek - Böcker

Visar alla böcker från författaren Jan Krajícek.
7 produkter
Del 23 - Oxford Logic Guides

Arithmetic, Proof Theory, and Computational Complexity

Av Clote, Krajicek m. fl

Inbunden, Engelska, 1993

2 169 kr

Skickas inom 5-8 vardagar
Del 382 - London Mathematical Society Lecture Note Series

Forcing with Random Variables and Proof Complexity

Av Jan Krajíček, Prague) Krajicek, Jan (Charles University m. fl

Häftad, Engelska, 2010

959 kr

Skickas inom 10-15 vardagar
Del 60 - Encyclopedia of Mathematics and its Applications

Bounded Arithmetic, Propositional Logic and Complexity Theory

Av Jan Krajicek, Prague) Krajicek, Jan (Academy of Sciences of the Czech Republic m. fl

Inbunden, Engelska, 1995

2 289 kr

Skickas inom 10-15 vardagar
Del 497 - London Mathematical Society Lecture Note Series

Proof Complexity Generators

Av Jan Krajíček, Jan Krajíček m. fl

Häftad, Engelska, 2025

819 kr

Skickas inom 10-15 vardagar
Del 170 - Encyclopedia of Mathematics and its Applications

Proof Complexity

Av Jan Krajíček, Jan Krajíček m. fl

Inbunden, Engelska, 2019

2 349 kr

Skickas inom 10-15 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

Av Matthias Baaz, Sy-David Friedman m. fl

Inbunden, Engelska, 2005

939 kr

Skickas inom 10-15 vardagar

Logic Colloquium '01

Lecture Notes In Logic, 20

Av Matthias Baaz, Sy-David Friedman m. fl

Häftad, Engelska, 2005

549 kr

Skickas inom 10-15 vardagar