Portal:Logic/Great Logicians

From Wikipedia, the free encyclopedia

 · Aristotle · Boole · Cantor · Carnap · Church · Frege · Gentzen · Gödel · Hilbert · Kripke · Peano · Peirce · Putnam · Quine · Russell · Skolem · Tarski · Turing · Whitehead ·