逻辑网络理论

reverse gate logic circuit, electronic

first order predicate logic【数】;predicate logic of first order【数】

synchronous logic

multilayer logic

symbolic logic

multivalue logic simulation

logic of modality

apriori logic