Forcing with Random Variables and Proof Complexity - Couverture souple

Livre 315 sur 387: London Mathematical Society Lecture Notes

Krajicek, Jan

 
9780521154338: Forcing with Random Variables and Proof Complexity

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.