The Cartesian Semantics of the Port Royal Logic - John N. Martin (Taylor and Francis, 2020)