Logic, an introduction