Johann A. Makowsky

Sets and Logic for CS: How to teach what is useful