In memoriam Solomon Feferman

Michael Rathjen, University of Leeds. Part of the proofs, constructions and computations seminar series.

The talk will be concerned with Feferman\'s work covering the period 1957 - 2014.

Michael Rathjen, University of Leeds