Title: A survey of finite mathematics