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


Home		Set as Homepage		Add to Favorite		Contact

29 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

Category: Main » Science » Math » Logic and Foundations » People	UPDATE INFO \| REPORT BROKEN LINK
Avigad, Jeremy	Popularity: Hit: 47

Details:

	Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics. Sponsored Links:
URL:	http://www.andrew.cmu.edu/~avigad/
Title:	Jeremy Avigad's Home Page
Description:	Jeremy Avigad's Home Page. Jeremy Avigad's home page
Specialized in:

Aczel, Peter (Popularity:

): University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
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.
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 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

River Blindness (Onchocerciasis) Reduced By Nearly One-Third In At-Risk Populations In Six Countries (Popularity:

): A regional initiative launched in the 1990s to eliminate onchocerciasis (river blindness) in the Americas has substantially reduced the prevalence ...
ASTMH Symposium Showcases Efforts To Meet the Need for New Medicines to Treat Infectious Diseases in Developing Countries (Popularity:

): An urgent need for new medicines to treat neglected infectious diseases in the developing world has prompted a growing number ...
Increase in Shoplifting Has Retailers Turning to New Technologies to Combat Crime This Holiday Season (Popularity:

): The busiest shopping season of the year is upon us and more shoppers in stores mean more shoplifting and theft. ...
Federal Court Supports TransUnion and VantageScore(R) (Popularity:

): After a three week jury trial, the U.S. District Court in Minnesota has decided in favor of TransUnion and VantageScore�, ...
Newly Designed Swarovski Crystal Star Unveiled for the 2009 Rockefeller Center(R) Christmas Tree (Popularity:

): Swarovski, the leading producer of crystal stones and crystal fashion jewelry, today unveiled the newly refurbished crystal star that will ...

Related Articles

Time Travel Exotica (Popularity:

): Travel and time, they go together. When you travel you take time, whether for business or pleasure or both there ...
Things You Need to Know About Prepaid Calling Cards (Popularity:

): One of the fastest growing industries today is prepaid phone card resellers and carriers, and by looking at its history, ...
Psychological Strategies to Overcome Diabetes Depression (Popularity:

): 1. Take Notice of Your Thoughts Becoming aware of your thinking styles and the thoughts that you regularly have are an ...
Unprecedented Performance Of IBM LTO 4 Media Tape (Popularity:

): IBM LTO-4 tape supports fast rate of 240 Mbps with compressed data. Voluminous 1.6Terabyte information can easily be backed on ...
Why Consolidating Student Loans is Beneficial (Popularity:

): People who have applied for and have been granted student loans, whether by the federal government or by private entities, ...