61,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
31 °P sammeln
  • Broschiertes Buch

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

Produktbeschreibung
A model-theoretic approach to bounded arithmetic and propositional proof complexity.
Autorenporträt
Jan Krají¿ek is a Professor of Mathematical Logic at Charles University in Prague. He is currently also affiliated with the Academy of Sciences of the Czech Republic.