Text ( visual ) : unmediated A logical approach to discrete math / David Gries and Fred B. Schneider. -- : us ; : gw. -- New York ; Tokyo : Springer-Verlag , c1993. -- xvi, 497 p. : ill. ; 25 cm. -- (Texts and monographs in computer science). -- Includes bibliographical references and index. -- ISBN 0387941150 ; 3540941150 ; (BA21280204) ; https://ci.nii.ac.jp/ncid/BA21280204 Author Heading(s): Gries, David ; Schneider, Fred B.. -- Classification(s): LCC : QA39.2 ; DC20 : 510. -- Subject Heading(s): LCSH : Mathematics