| Directory > Science > Math > Logic and Foundations > History > People > Gödel, Kurt 
| Bernays, Paul (2) | Gödel, Kurt (8) | Skolem, Thoralf (2) |  
| Boole, George (6) | Hilbert, David (6) | Tarski, Alfred (5) |  
| Cantor, Georg (5) | Lukasiewicz, Jan (7) | Turing, Alan Mathison (14) |  
| Church, Alonzo (4) | Peirce, Charles Sanders (11) | Zermelo, Ernst (2) |  
| Frege, Gottlob (11) | Post, Emil L. (6) |  |
 Who are Boole, Fitch, and Tarski?Brief biographies of the logicians whose names appear in Barwise and Etchemendy's textbook
 Language, Proof and Logic.
 http://www.ucalgary.ca/~rzach/279/logicians.html
 Reviews Rating: Not yet Rated
 Whois Check
 
 
  
 |