Online Web Directory. Web Directory @ Expo Central.
Your Online Guide to the Global and Local Marketplace
Home | About us | Advertise | Contact Us

Science > Math > Logic and Foundations > Directories

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 > Directories
Directory of Web Resources @ Expo Central : Directories

Science > Math > Logic and Foundations > Directories : Categories


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



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


1. ASL members [ Report dead link ]
List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
http://www.math.ucla.edu/~hbe/aslweb.html
_


2. Computability Theory [ Report dead link ]
Information on this site includes a Bibliographic Database for Computability Theory, a list of Open Questions in Recursion Theory as well as links to many researchers working in the field. Maintained by Peter Cholak.
http://www.nd.edu/~cholak/computability/computability.html
_


3. Description Logics [ Report dead link ]
Maintained by Carsten Lutz.
http://dl.kr.org/
_


4. Formal Logic [ Report dead link ]
Directory of encyclopedia articles and related websites. [epistemelinks.com]
http://www.epistemelinks.com/Main/Topics.asp?TopicCode=Logi
_


5. Knowledge Representation [ Report dead link ]
With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
http://www.cs.man.ac.uk/~franconi/kr.html
_


6. Logic and Set Theory [ Report dead link ]
Groups and conferences.
http://www.math.ufl.edu/~jal/orgs.html
_


7. Logic and Set Theory [ Report dead link ]
Category of Topics in Mathematics (MathArchives).
http://archives.math.utk.edu/topics/logic.html
_


8. Logic Links [ Report dead link ]
Gustavus Philosophy Department.
http://www.gustavus.edu/oncampus/academics/philosophy/llogic.html
_


9. Logic on the World Wide Web [ Report dead link ]
Based on the compilation of Boris Piwinger (Mathematical Logic Group at the University of Bonn).
http://www-phil.tamu.edu/Philosophy/logic.html
_


10. Logic Page [ Report dead link ]
Maintained by Christian Gottschall, Vienna philosophy department.
http://logik.phl.univie.ac.at/~chris/logic.html
_

Pages: [1] 2

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 > Directories : Web Resources

Google
[ Home | About us | Advertise | Contact Us ]