Language Types and Logical Theorems C. L. Hamblin 183-187 Information and Control March 1973 22 2 db/journals/iandc/iandc22.html#Hamblin73