Jan Krají¿ek

Gebundenes Buch

Proof Complexity

Beschreibung

Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.

Autor

Jan Krají¿ek is Professor of Mathematical Logic in the Faculty of Mathematics and Physics at Charles University, Prague. He is a member of the Academia Europaea and of the Learned Society of the Czech Republic. He has been an invited speaker at the European Congress of Mathematicians and at the International Congresses of Logic, Methodology and Philosophy of Science.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 534
• Erscheinungstermin: 28. März 2019
• Englisch
• Abmessung: 240mm x 161mm x 36mm
• Gewicht: 1058g
• ISBN-13: 9781108416849
• ISBN-10: 1108416845
• Artikelnr.: 53446985