Intensional logic and semantics of a natural language - Materna, Pavel; Pala, Karel (Vieweg, 1979)