Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series, 382, Band 382) - Softcover

Buch 315 von 387: London Mathematical Society Lecture Notes

Krajicek, Jan

 
9780521154338: Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series, 382, Band 382)

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.