Forcing with Random Variables and Proof Complexity
Odporučiť
  • Anglický jazyk

Forcing with Random Variables and Proof Complexity

Autor: Jan Krají¿ek

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

Viac o knihe

Na objednávku

74.67 €

bežná cena: 78.60 €

O knihe

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

  • Vydavateľstvo: Cambridge University Press
  • Rok vydania: 2010
  • Formát: Paperback
  • Rozmer: 229 x 152 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9780521154338

Odporúčané tituly:

Greenberg, M: Applications of Green's Functions in Science
  • Anglický jazyk Anglický jazyk

Greenberg, M: Applications of Green's Functions in Science

17.92 € 18.86 € (ušetríte 5%)
MuPAD Pro Computing Essentials
  • Anglický jazyk Anglický jazyk

MuPAD Pro Computing Essentials

Miroslaw Majewski

72.11 € 75.91 € (ušetríte 5%)
Hyperbolic Systems of Conservation Laws
  • Anglický jazyk Anglický jazyk

Hyperbolic Systems of Conservation Laws

Alberto Bressan

160.45 € 168.89 € (ušetríte 5%)
Mathematics for Finance An Introduction
  • Anglický jazyk Anglický jazyk

Mathematics for Finance An Introduction

Marek Capinski

49.38 € 51.98 € (ušetríte 5%)
HEAVEN & EARTH

HEAVEN & EARTH

21.16 € 22.27 € (ušetríte 5%)
Guesstimation 2.0
  • Anglický jazyk Anglický jazyk

Guesstimation 2.0

Lawrence Weinstein

20.83 € 21.93 € (ušetríte 5%)
Applications of Green`s Functions in Science and Engineering
  • Anglický jazyk Anglický jazyk

Applications of Green`s Functions in Science and Engineering

Michael Greenberg

17.92 € 18.86 € (ušetríte 5%)
Linear Operators for Quantum Mechanics
  • Anglický jazyk Anglický jazyk

Linear Operators for Quantum Mechanics

Thomas Jordan

17.92 € 18.86 € (ušetríte 5%)
Johnson, N: Continuous Univariate Distributions, Volume 2
  • Anglický jazyk Anglický jazyk

Johnson, N: Continuous Univariate Distributions, Volume 2

166.50 € 175.26 € (ušetríte 5%)
Atlas of Science

Atlas of Science

30.03 € 31.61 € (ušetríte 5%)
Fuzzy Probability Spaces, Fuzzy Dynamical Systems, and Entropy

Fuzzy Probability Spaces, Fuzzy Dynamical Systems, and Entropy

43.65 € 45.95 € (ušetríte 5%)
INTRODUCTION TO MATHEMATICS WITH MAPLE
  • Anglický jazyk Anglický jazyk

INTRODUCTION TO MATHEMATICS WITH MAPLE

Adams P

59.13 € 62.24 € (ušetríte 5%)

Generuje redakčný systém BUXUS CMS spoločnosti ui42.