People Web Directory.


Home \| About us \| Advertise \| Contact Us

Science > Math > Logic and Foundations > People

Web Directory

Google Adwords

Google Adwords allows businesses to advertise on any number of sites, including Expo Central, regardless of the size of their budget. Ad campaigns can be set up to target based on keywords, geographical location of the visitor, and/or individual web sites. They handle the most common sizes of ads and allow text, image or video.

Firefox with Google Toolbar

Mozilla Firefox is a web browser with pop-up blocking, tabbed browsing, and privacy and security features. Integration of the Google Toolbar into the Firefox download offers users even more features: Google search, SpellCheck, and Autofill.

Google Pack Software

Get the power of Google on your desktop PCs! Google Pack provides a single installer for many essential PC applications from Google and other trusted partners. These applications improve your browsing with increased speed and security, provide better searching capability for the web and for your own PC and enable you to collect and organize your personal data, including photos.

Home > Science > Math > Logic and Foundations > People
Directory of Web Resources @ Expo Central : People

Science > Math > Logic and Foundations > People : Categories

Students and Independent Scholars (3)

Science > Math > Logic and Foundations > People : Web Resources

Science > Math > Logic and Foundations > People : Web-Sites

1. Aczel, Peter [ Report dead link ]

University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.

http://www.cs.man.ac.uk/~petera/

2. Andrews, Peter B. [ Report dead link ]

Carnegie Mellon University - Type theory, automated theorem proving.

http://gtps.math.cmu.edu/andrews.html

3. Artemov, Sergei [ Report dead link ]

City University of New York Graduate Center - Proof theory, logic of proofs.

http://www.cs.gc.cuny.edu/~sartemov/

4. Avigad, Jeremy [ Report dead link ]

Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.

http://www.andrew.cmu.edu/user/avigad/

5. Awodey, Steve [ Report dead link ]

Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.

http://www.andrew.cmu.edu/user/awodey/

6. Baldwin, John T. [ Report dead link ]

University of Illinois, Chicago - Model theory (finite and infinite).

http://www.math.uic.edu/~jbaldwin/

7. Barendregt, Henk [ Report dead link ]

Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.

http://www.cs.ru.nl/~henk/

8. Bartoszynski, Tomek [ Report dead link ]

Boise State University - Set theory.

http://diamond.boisestate.edu/~tomek/

9. Beklemishev, Lev [ Report dead link ]

Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.

http://www.phil.uu.nl/~lev/

10. Blass, Andreas R. [ Report dead link ]

University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.

http://www.math.lsa.umich.edu/~ablass/

Pages: [1] 2 3 4 5 6 7 >>

Next Page >>

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

Science > Math > Logic and Foundations > People : Web Resources

Science

Math

Logic and Foundations

[ Home | About us | Advertise | Contact Us ]