TY - BOOK AU - Gries, David AU - Schneider, Fred B. TI - A logical approach to discrete math PB - Springer-Verlag PY - 1993 T2 - Texts and monographs in computer science EP - xvi, 497 p. UR - https://ci.nii.ac.jp/ncid/BA21280204 SN - 0387941150 SN - 3540941150 ER -