 |
|
 Directories |
| |
|
|
|
|
Zach, Richard |
Popularity:  Hit: 234 | Visit: 3 |
|
|
University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
Sponsored Links:
|
| URL: |
|
| Title: |
Richard Zach - Associate Professor of Philosophy - University of Calgary |
| Description: |
Richard Zach is Associate Professor of Philosophy at the University of Calgary, Alberta, Canada. His interests include philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics. |
| Category: |
University
-
David
-
Department
-
History
-
Mathematics
-
Group
-
Proof
-
Theory
-
Philosophy
-
Calgary
-
Logic
-
Analytic
-
Hilbert
-
Many-valued
-
Finitism
|
|
 |
|
 |
|
 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.
Buss, Samuel R. (Popularity: ): University of California, San Diego - Proof theory, computational complexity.
Carnielli, Walter A. (Popularity: ): State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite ...
|
|
|
 |
|
 |
|
|
|
|
|
