I do not have much if any experience with lisp but this first chapter from a discrete structures college course reminds me of terminology used in lisp, maybe it was built from studies of discrete structures, don't know but thought some of you might find useful.