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