Concepedia

Second-Order Logic Still Wild

Michael D. Resnik

The Journal of Philosophy · 1988 · 155 citations · 0 references

Concepts

HumanitiesComputer ScienceMathematicsFormal MethodsLogicBoolean AlgebraNon-classical LogicPredicate LogicSecond-order Circuits