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


Home		Set as Homepage		Add to Favorite		Contact

28 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
Aczel, Peter	Popularity: Hit: 63

Details:

	University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic. Sponsored Links:
URL:	http://www.cs.man.ac.uk/~petera/
Title:	Peter Aczel
Description:	Science, Math, Logic and Foundations, People - Aczel, Peter. University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
Specialized in:

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.
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

TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity:

): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
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. ...
MSI US Launches High-Performance Wind Top 21.5-inch Multi-Touch Screen All-in-One Desktop PC (Popularity:

): MSI, a leading manufacturer of computer components and systems, today announced the U.S. availability of the Wind Top AE2220 all-in-one ...

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 ...
Don't Say No to Christmas This Year, Make Money Online and Work From Home (Popularity:

): If you're in the same predicament as millions of Americans and people all over the world, you are probably wondering ...
Texas is Truly Bigger and Better (Popularity:

): Texas, the state where everything grows big with lots of room for even more expansions. The hats are big, the ...
What Is A Watch? (Popularity:

): The answer to this simple question is not as simple as you might think. It has never been the case ...
The Coverdell Education Savings Account - Is it Right For You? (Popularity:

): Most parents are dealing with daily battles from getting homework into backpacks to packing a healthy lunch, still long term ...