逻辑探针

logic theorist

logic of question

monolithic array logic【计】

MTL (merged transistor logic) device

system logic

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

dialectic logic thinking

logic