The jury of the Amílcar Sernadas Logic Prize unanimously decided to confer ex aequo the prize to the papers k-Provability in PA by CMA members Paulo Guilherme Santos and Reinhard Kahle.
We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.OkPrivacy policy