Studies in Constructive Mathematics and Mathematical Logic Part 2 - nidottu, Englanti, 2014