The Logic of Terms - Fred Sommers; George Englebretsen (Taylor and Francis, 2000)