Jan Krajíček MAE receives the Shoenfield Prize for his publication "Proof Complexity" published by the Cambridge University Press.