Exercise 8.20 [list-representation-exercise]

Using the set axioms as examples, write axioms for the list domain, including all the constants, functions, and predicates mentioned in the chapter.