Review: John Myhill, Some Philosophical Implications of Mathematical Logic. I Three Classes of Ideas; Vaclav Edvard Benes, On Some Alleged Implications of Mathematical Logic