Graham Forbes Modern Logic