Frederick Burtis Thompson

American logician and computer scientist