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.
Answer
Improve This Solution
View Answer