Tekstiviesti: A text-book of logic,