Advanced logic for applications - Grandy, Richard E. (Synthese library, 1979)