propositional calculus in which there are more than two truth values
Nothing in the MetaHistoryBook collection references this item yet.