Harvey Friedman's Research on the Foundations of Mathematics, Harrington & Morley & Scedrov & Simpson (Eds.), North-Holland (informationswissenschaftl. Veröffentlichungen)