Constructing the Constructible Universe Constructively - Richard Matthews; Michael Rathjen (2022)