Logic An Introduction 1st Edition by Greg Restall