 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
|
University of California, San Diego - Proof theory, computational complexity.
Sponsored Links:
|
| URL: |
http://math.ucsd.edu/~sbuss/
|
| Title: |
Samuel R. Buss: Home page |
| Description: |
Science, Math, Logic and Foundations, People - Buss, Samuel R.. University of California, San Diego - Proof theory, computational complexity. |
| Specialized in: |
|
|
 |
|
 |
Aczel, Peter (Popularity: ): University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
Avigad, Jeremy (Popularity: ): Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
Awodey, Steve (Popularity: ): Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
Baldwin, John T. (Popularity: ): University of Illinois, Chicago - Model theory (finite and infinite).
Bartoszynski, Tomek (Popularity: ): Boise State University - Set theory.
Blass, Andreas R. (Popularity: ): University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
Bouscaren, Elisabeth (Popularity: ): CNRS / University of Paris 7 - Model theory and algebraic geometry.
Buechler, Steven (Popularity: ): University of Notre Dame - Model theory.
Burris, Stanley (Popularity: ): University of Waterloo - Universal algebra, logic, computers.
Carnielli, Walter A. (Popularity: ): State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
|
 |
Popular Sites |
 |
Wansing, Heinrich (Popularity: ): Institute of Logic and the Philosophy of Science, Leipzig - Substructural and non-classical logics, modal logic, proof-theoretic semantics, philosophy of ...
Baldwin, John T. (Popularity: ): University of Illinois, Chicago - Model theory (finite and infinite).
Japaridze, Giorgi (Popularity: ): Villanova University - computability logic, game semantics, provability logic.
Carnielli, Walter A. (Popularity: ): State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
Aczel, Peter (Popularity: ): University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
|
 |
Related Press |
 |
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|