Advanced logic for applications - Grandy, Richard E. (Dordrecht-Holland D. Reidel, 1977)