This is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general. číst celé