Logical Forms by Mark Sainsbury & R.M. Sainsbury