The author, who died in 1984, is well-known both as a person and through his research in mathemat...

J. Richard Biichi is well known for his work in mathematical logic and theoretical computer scien...