Concepedia
Historia Mathematica · 1977 · 43 citations · 0 references
HumanitiesMathematicsPhilosophyLogicPhilosophy Of MathematicsFirst-order LogicMathematical LogicPhilosophy Of LogicPredicate LogicFrege SystemsGödel LogicGödel's Constructibility ProofHistory Of LogicIsabelle/hol