Top/Science/Math/Logic and Foundations
Logic and Foundations :
This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philosophical logic at the other. If you are looking for basic, non-technical information on logic, you may want to look at the subcategories Encylopedia Articles and Educational Resources. If you think your site or one that you have come across fits here: please submit it. If not sure give it to us anyway ... we will do our best to find where it belongs.
Associated Categories for Logic and Foundations
Software
Proof Theory
Directories
Set Theory
Model Theory
Computability
Game Semantics
Publications
Knowledge Representation and Planning
Online Discussion Groups
Organizations
People
Meetings
Institutions
Education
Foundations
History
Computational Logic
Nonstandard Logics and Extensions
12 web sites matced for Logic and Foundations
Mathematical Logic and Foundations
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
Math Front: LO Logic
Front end for the logic section of the mathematics e-print arXiv.
Mind Versus Goedel by Damjan Bojadziev
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
Classical Logic
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Mathematical Logic around the World
A rich collection of links to logic-related websites.
Introduction to Mathematical Logic
Hyper-textbook for students by V. Detlovs and K. Podnieks.
Computability Logic Homepage
Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
Logic
Wikipedia article.
Logic
Open Encyclopedia entry. Hierarchically organized by subareas.
Mathematical Logic around the world
A service provided by the Mathematical Logic Group in Bonn
Computability Logic
Main web source on the subject: overview, downloadable articles, links.
Classical Logic
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
 
Web Site Directory - powered by Dmoz
Arts
Movies, Television, Music... 		Business
Jobs, Real Estate, Investing... 		Computers
Internet, Software, Hardware...
Games
Video Games, RPGs, Gambling... 		Health
Fitness, Medicine, Alternative... 		Home
Family, Consumers, Cooking...
News
Media, Newspapers, Weather... 		Regional
US, Canada, UK, Europe... 		Science
Biology, Psychology, Physics...
Shopping
Auctions, Clothing, Gifts... 		Society
People, Religion, Issues... 		Sports
Baseball, Soccer, Basketball...
     
Sponcer Links
Live Chat
mioot Live chat system help you to track your web site visitor in real time and enable live chat features with your web site visitor.
Offshore software Developments

miOOt Technologies is an Indian based software company offering complete onsite offshore software development solutions with high end technologies and standard.
 


Contact info@intelyex.com for Advertisement