Order, Negation and Abstraction - John N. Martin (Taylor and Francis, 2004)