Pošljite SMS: Introduction to logic and to the methodology of the deductive sciences