Klappentext

This Festschrift is published in honor of Yuri Gurevich s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18 20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.