The logic of special relativity - Prokhovnik, S. J. (Cambridge U.P., 1967)