[finite-model-theory] Haskell Brooks Curry (1900-1982) now on-line