@book{ BA21280204, author = "Gries, David and Schneider, Fred B.", title = "A logical approach to discrete math", publisher = "Springer-Verlag", year = "1993", series = "Texts and monographs in computer science", number = "", URL = "https://ci.nii.ac.jp/ncid/BA21280204" }

AltStyle によって変換されたページ (->オリジナル) /