The study of permutation groups has been revolutionized by such developments as the classification of finite simple groups and relations with logic and combinat... » 

The study of permutation groups has been revolutionized by such developments as the classification of finite simple groups and relations with logic and combinatorics. This book gives a summary of these developments, including an introduction to relevant computer algebra systems. «