Jan Krají¿ek

Broschiertes Buch

Forcing with Random Variables and Proof Complexity

Beschreibung

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

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.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 264
• Erscheinungstermin: 23. Dezember 2010
• Englisch
• Abmessung: 229mm x 152mm x 16mm
• Gewicht: 434g
• ISBN-13: 9780521154338
• ISBN-10: 0521154332
• Artikelnr.: 31193282