 |
|
 Directories |
| |
|
|
|
|
Buss, Samuel R. |
Popularity:  Hit: 180 | Visit: 1 |
|
|
University of California, San Diego - Proof theory, computational complexity.
Sponsored Links:
|
| URL: |
|
| Title: |
Samuel R. Buss: Home page |
| Description: |
|
| Category: |
|
|
 |
|
 |
|
 Related sites |
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 ...
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).
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 ...
Chaitin, Gregory J. (Popularity: ): IBM Research - Algorithmic information theory.
|
|
|
 |
|
 |
|
|
|
|
|
