Devlin,Keith

Sets,Functions and Logic - London Addison 2000 - 294