Text this: Μια μαθηματική εισαγωγή στη λογική /