AllMusicSearch Music Directory : Science : Math : Logic_and

Home
Music_Metasearch
Music Top Sites
Music Store

AllMusicListings
Concert Listings
Concert Tickets

AllMusicTalk
Chat Rooms
Message Boards

MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News

Community Blogs
Free Member Blogs

AllMusicPages
Free Web Pages

AllMusicBookmarks
Your Bookmarks

AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology

Music Auctions
Auctions
Classifieds

Music Apparel
AllMusicSearch Apparel

Music Store
MP3 Players
Audio Equipment
MP3 Software

Musical Instruments

Music Books
Music Magazines

Music T-Shirts

Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks

Music Videos
Music DVDs

Suggest a site

Organizations (13)

See Also:

Top/Science/Math/Organizations

Sites:

» ALP
Association for Logic Programming. Membership information, newsletter, journals, meetings.
http://www.cwi.nl/projects/alp/

» ASL
Association for Symbolic Logic.
http://www.aslonline.org/

» British Logic Colloquium
Meetings, publications, reports and resources.
http://www.cs.bham.ac.uk/~exr/blc/

» COMPULOG Americas
American Logic Programming Organization.
http://www.cs.nmsu.edu/~complog/

» CSHPM
Canadian Society for History and Philosophy of Mathematics.
http://faculty.umf.maine.edu/~molinsky/cshpm/

http://www.amsta.leeds.ac.uk/pure/staff/cooper/cie.html

» Computability in Europe Homepage
Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues
http://www.amsta.leeds.ac.uk/pure/staff/cooper/cie.html

$http://www.math.fu-berlin.de/~dvmlg/$

» DVMLG
Deutsche Vereinigung fÃ¼r Mathematische Logik und fÃ¼r Grundlagen der Exakten Wissenschaften (site partly in German)
http://www.math.fu-berlin.de/~dvmlg/

» EACSL
European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
http://www.dimi.uniud.it/~eacsl/

» FoLLI
European Association for Logic, Language and Information. Meetings and publications.
http://folli.loria.fr/

» IGPL
Interest Group in Pure and Applied Logics: part of FoLLI.
http://www.di.ufpe.br/~igpl/

» KR, Inc.
Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a series of conferences, the Conference
http://www.kr.org

» Kurt GÃ¶del Society
An international organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt GÃ¶del.
http://www.logic.at/kgs/

» MVL-TC
IEEE Technical Committee on Multiple Valued Logic.
http://cs3.el.gunma-u.ac.jp/MVL/

This category needs an editor

Last Updated: 2007-01-02 17:54:52

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors