Advanced logic for applications

Grandy, Richard E.

Advanced logic for applications by Richard E. Grandy - Dordrecht-Holland D. Reidel c1977 - xi,167p.; 23cm.- - Synthese library; v.110 .

511.3 / GRA