William Boos. Metamathematics and the Philosophical Tradition | OUP Journals & Magazine | IEEE Xplore