Predicate calculus with "undefined" as a truth-value. AIM-001

purl.stanford.edu/zc129sh9123