Envoyer par SMS: Fundamentals of mathematical logic esp. Book 1