TheSwamp

Code Red => AutoLISP (Vanilla / Visual) => Topic started by: Jeff H on December 17, 2020, 05:34:28 PM

Title: Lisp & The Foundations: Logic and Proofs
Post by: Jeff H on December 17, 2020, 05:34:28 PM

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.