Verificationism : its history and prospects - Misak, C.J. (Routledge, 1995)