This course aims to provide an introduction to the fundamental concepts of formal logic. The subject matter is tackled from a practical point of view and the topics chosen should prepare students for the analysis and application of logical techniques in computing.