Αποστολή με SMS: Introduction to semantics and formalization of logic /