Home >> Science >> Math >> Logic and Foundations   Directories Education Institutions   Meetings Organizations People   Publications Software   Category Theory Computability Computational Logic Foundations Game Semantics   History Knowledge Representation and Planning Model Theory Nonstandard Logics and Extensions Online Discussion Groups   Philosophy of Logic Proof Theory Set Theory 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. 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. Computers: Artificial Intelligence: Philosophy Computers: Programming: Languages: Logic-based Society: Philosophy: Philosophy of Language Society: Philosophy: Philosophy of Science: Mathematics
© 2005 GeneralAnswers.org