SomaliNet
SCREEN:
NORMAL
NARROW
SERVICES:
TRANSLATIONS
PROMOTIONS
SOMALINET:
ABOUT US
CONTACT US
PRIVACY INFO
SITE STATUS
somali somalia
HOME
NEWS
BUSINESS
CHAT
SINGLES
DIRECTORY
FORUMS
BLOGS
VIRTUAL LIBRARY
PHOTO GALLERY
MORE
WHAT'S NEW!
::
HOME
::
DIR
::
SCIENCE
::
MATH
::
LOGIC_AND_FOUNDATIONS
TRANSLATIONS
PROMOTIONS
ENGLISH SOMALI DICTIONARY
SOMALI ENGLISH DICTIONARY
SOMALIA ON SOMALINET
VIDEOS
SITE MAP
ABOUT SOMALINET
Please bear with us as the site is going through many changes ranging from backend software upgrades to new design.
Some sections may become inaccesible in the next few weeks.
FEEDBACK
|
OLD FRONT PAGE
NEW SECTION
TEST DRIVE
SOMALINET
VIDEOS SECTION!!!
SEARCH DIRECTORY
fopen(dir_cache/deab420442fcc7536f681cd3696cb5c8) [
function.fopen
]: failed to open stream: Permission denied
Error writing to cache!
only in Math/Logic_and_Foundations
Top
:
Science
:
Math
:Logic and Foundations
(820)
Directories
(11)
Education
(18)
Institutions
(61)
Meetings
(148)
Online Discussion Groups
(3)
Organizations
(14)
People
(125)
Publications
(26)
Software
(28)
Category Theory
@
(40)
Computability
(11)
Computational Logic
(32)
Foundations
(8)
Game Semantics
(13)
History
(101)
Knowledge Representation and Planning
(2)
Model Theory
(4)
Nonstandard Logics and Extensions
(126)
Philosophy of Logic
@
(109)
Proof Theory
(14)
Set Theory
(69)
See also:
Computers: Artificial Intelligence: Philosophy
(43)
Computers: Programming: Languages: Logic-based
(41)
Society: Philosophy: Philosophy of Language
(76)
Society: Philosophy: Philosophy of Science: Mathematics
(34)
This category in other languages:
French
(22)
German
(9)
Italian
(4)
Japanese
(5)
Russian
(4)
Spanish
(9)
Classical Logic
- Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Computability Logic Homepage
- Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
Introduction to Mathematical Logic
- Hyper-textbook for students by V. Detlovs and K. Podnieks.
Mathematical Logic and Foundations
- From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
Mathematical Logic around the World
- A rich collection of links to logic-related websites.
Mind Versus Goedel by Damjan Bojadziev
- Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
Usenet sci.logic -
news:
-
Google Groups
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor