Logic of Mind by Nelson, R.J.