|
|
 |
Bernays, Paul | Boole, George | Church, Alonzo | Frege, Gottlob | Gödel, Kurt | Hilbert, David | Lukasiewicz, Jan | Peirce, Charles Sanders | Post, Emil L. | Skolem, Thoralf | Tarski, Alfred | Turing, Alan Mathison | Zermelo, Ernst
Who are Boole, Fitch, and Tarski?
Brief biographies of the logicians whose names appear in Barwise and Etchemendy's textbook Language, Proof and Logic.
|
 |
|
|
