Concepedia
Vivarium · 1976 · 84 citations · 0 references
HumanitiesComputer SciencePhilosophyFormal MethodsLogicPhilosophy Of MathematicsBoolean AlgebraFirst-order LogicModal LogicPhilosophy Of LogicPredicate LogicComputational Logic