Formal semantics and pragmatics for natural languages - Guenthner F ed; Schmidt S J ed (1979)