Αποστολή με SMS: Introduction to logic and to the methodology of the deductive sciences /