67,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
34 °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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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.