a comprehensive bibliography. Overall it is a great book for someone who wants to get his feet wet in type theory, but doesn't want to get in over his head. Review of Discrete M a t h e m a t i c s in the Schools 4 D I M A C S Series in Discrete M a t h e m a t i c s and Theoretical C o m p u t e r Sciences V o l u m e 36, 1997 Editors: J o s e p h G. Rosenstein~ D e b o r a h S. Franzblau~ and Fred S. R o b e r t s Publisher: A m e r i c a n M a t h e m a t i c a l Society Reviewer: Neal Koblitz Overview In response to the recommendations of the National Council of Teachers of Mathematics [9] and the increasing interest on the part of educators and scientists in the teaching of discrete mathematics in the schools, the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) of Rutgers University held a conference on the subject on October 2-4, 1992.
/lp/association-for-computing-machinery/book-review-discrete-mathematics-in-the-schools-ed-by-joseph-g-zo0oJWe6FO