Links to Other Sites

 

Organizations

American Association for the Advancement of Science (AAAS)
American Mathematical Society (AMS)
American Philosophical Association (APA)
Association for Computing Machinery (ACM)
Conference Board of the Mathematical Sciences (CBMS)
Cognitive Science Society
European Association for Computer Science Logic (EACSL)
European Association for Logic, Language and Information (FoLLI)
Gödel Society
Institute of Electrical and Electronics Engineers, Inc. (IEEE)
International Mathematical Olympiad (IMO)
Linquistic Society of America
Logic in Computer Science (LICS)
London Mathematical Society
Mathematical Association of America (MAA)
The Danish Network for Philosophical Logic and Its Applications Newsletter (PHINEWS)
Special Interest Group on Algorithms and Computation Theory (SIGACT)
Society for Industrial and Applied Mathematics (SIAM)
The Philosophy of Science Association

Research Institutes

Fields Institute for Research in Mathematical Sciences
Fuzziness and Uncertainty Modelling Research Group
Institute for Logic, Language, and Computation (ILLC)
Institute for Mathematics and its Applications (IMA)
Mathematical Institutes and Centers
(Site organized by AMS)
Mathematical Sciences Research Institute (MSRI)

Scholarly Resources

http://www.nd.edu/~cholak/computability/computability.html
Bibiliographic Site for Computability Theory

http://wwwagr.informatik.uni-kl.de/~akademie/contents.html
Bibliography of Mathematical Logic and Related Fields

http://www.math.ufl.edu/~jal/set_theory.html
Bibliographic Site for Set Theory

http://dblp.uni-trier.de/db/index.html
Computer Science Bibliography

http://directory.google.com/Top/Science/Math/Logic_and_Foundations/
Google Web Directory for Logic and Foundations

http://www.jstor.org/
JSTOR - Scholarly Journal Archive

http://www.cirs-tm.org
International Center for Scientific Research (CIRS)

http://xxx.lanl.gov/archive/math
Los Alamos National Laboratory Mathematics Archive

http://www-groups.dcs.st-and.ac.uk/~history/index.html
The MacTutor History of Mathematics Archive

http://dmoz.org/Science/Math/Logic_and_Foundations/
Open Directory Project

http://www.math.uu.se/logik/logic-server/
Research Groups in Logic and Theoretical Computer Science
(Maintained by the Upsala Group for Mathematical Logic)

http://www.sosig.ac.uk/philosophy/logic/
Social Sciences Information Gateway - Logic Resources

 




 


[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]