combinatorics and reasoning,representing, justifying and building isomorphisms

carolyn a. (edt) maher · springer verlag