Historia Mathematica · 2003 · 148 citations · 8 references
HumanitiesMathematicsPhilosophyLogicPhilosophy Of MathematicsFirst-order LogicMathematical LogicMedieval LogicPhilosophy Of LogicPredicate LogicFrege SystemsGödel LogicGödel's Constructibility ProofHistory Of LogicIsabelle/hol
8
Routledge encyclopedia of philosophy
Choice Reviews Online · 1998 · 1.8K citations
Logic in the twenties: the nature of the quantifier
Warren Goldfarb · Journal of Symbolic Logic · 1979 · 352 citations
Humanities, Mathematics, Philosophy +15
History and Philosophy of Modern Mathematics
Historia Mathematica · 1991 · 272 citations