A logical approach to discrete math

Main Authors: Gries David
Group Author: Schneider Fred B
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: O158/G848/