Title: Dublin University Press Series an Introduction to Logic