/  
3.
Die Grammatik ist eine „Theory
der logischen Typen
of logical types
”.