Switching theory : insight through predicate logic - Vingron (Springer, 2004)