Science Central - All about Science

Friday, 24 May, 2013

search

for
Directories
 
 
 
 Recent Listings
  Plant, Animal and Environmental Sciences [IJPAES]
  Public Health and Medical Research
  The Indian Journal Of Pharmacy Research (IJPOR)
  Bradford Private Investigator
  Basic Medical Sciences and Pharmacy (IJBMSP)
  IJAP Journal
  Applied Biology and Pharmaceutical Technology [IJABPT]
  Advanced Research In Electronics and Communication Engineering (IJARECE)
  The Journal Of Pharmacy
  The Private Detective
 
Category:  Science » Math » Logic and Foundations » People SUGGEST CATEGORY  |  SUBMIT A SITE

People

Order by  Popularity  |  Alphabet

Sites

Records 1-20 of 102  |  Go to 1 2 3 4 5 6 Next >> page 
 



Sponsored Links:


Baldwin, John T. (Popularity: )
http://www.math.uic.edu/~jbaldwin/
University of Illinois, Chicago - Model theory (finite and infinite).

Aczel, Peter (Popularity: )
http://www.cs.man.ac.uk/~petera/
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.



Avigad, Jeremy (Popularity: )
http://www.andrew.cmu.edu/~avigad/
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.

Bouscaren, Elisabeth (Popularity: )
http://www.logique.jussieu.fr/www.elibou/
CNRS / University of Paris 7 - Model theory and algebraic geometry.



Zach, Richard (Popularity: )
http://www.ucalgary.ca/~rzach/
University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.

Blass, Andreas R. (Popularity: )
http://www.math.lsa.umich.edu/~ablass/
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.

Awodey, Steve (Popularity: )
http://www.andrew.cmu.edu/user/awodey/
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.

Carnielli, Walter A. (Popularity: )
http://www.unicamp.br/cle/carniell.htm
State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.

Burris, Stanley (Popularity: )
http://www.thoralf.uwaterloo.ca/
University of Waterloo - Universal algebra, logic, computers.

Welch, Philip (Popularity: )
http://www.maths.bris.ac.uk/~mapdw/
University of Bristol - Set theory, inner models, descriptive set theory.

Buss, Samuel R. (Popularity: )
http://math.ucsd.edu/~sbuss/
University of California, San Diego - Proof theory, computational complexity.

Buechler, Steven (Popularity: )
http://www.nd.edu/~steve/
University of Notre Dame - Model theory.

Gerla, Giangiacomo (Popularity: )
http://www.dmi.unisa.it/people/gerla/www/
University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.

Cummings, James (Popularity: )
http://www.math.cmu.edu/users/jcumming/
Carnegie Mellon University - Set theory.

Kastermans, Bart (Popularity: )
http://www.kastermans.nl/bart/
University of Michigan - Set theory.

Maddy, Penelope (Popularity: )
http://www.lps.uci.edu/home/fac-staff/faculty/maddy/
University of California Irvine - Philosophy of logic and mathematics.

Larson, Jean A. (Popularity: )
http://www.math.ufl.edu/~jal/
University of Florida - Set theory, combinatorics.

Anand, Bhupinder Singh (Popularity: )
http://alixcomsi.com/index01.htm
Independent scholar, Mumbai. Interests: reviewing standard interpretations of Cantor's, Gödel's, Tarski's, and Turing's reasoning.

Artemov, Sergei (Popularity: )
http://www.cs.gc.cuny.edu/%7Esartemov/
City University of New York Graduate Center - Proof theory, logic of proofs.

Goldstern, Martin (Popularity: )
http://info.tuwien.ac.at/goldstern/
University of Technology, Vienna - Set theory.

 
Records 1-20 of 102  |  Go to 1 2 3 4 5 6 Next >> page 

© 2005-2010 Science Central. All Rights Reserved