Evisum.com The Educational Vortal

	Search the Web or Ask a Question

Logic and Foundations

->Software	->Proof Theory	->Directories
->Educational Resources	->Set Theory	->Encyclopedia Articles
->Model Theory	->Computability	->Foundations
->Research Centers	->Logicians	->History
->Publications	->Computational Logic	->Conferences
->Professional Associations	->Nonstandard Logics and Extensions

Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.

Abstract Service - An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.

Math Front: LO Logic - Front end for the logic section of the mathematics e-print arXiv.

Other educational search engines:

Google - Yahooligans - Study Web - britannica.com - Schoolwork.org - CyberSleuth Kids - Education World

	Evisum Features
	Virtualology NASA Center for Educational Technology National Archives Rebels with a Vision
	Evisum Students
	Homework Help Fun Stuff Art Language Social Studies Math
	Evisum Educators
	News Lesson Plans Educational Funding

About Evisum \|\| E-mail \|\| Add your site \|\| Advertise with Evisum © 2000 Evisum Inc.. All Rights Reserved. Legal