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.
Sponsored Links:
URL:
Title:
Description:
Category:
Related sites
ALP (Popularity: ): Association for Logic Programming. Membership information, newsletter, journals, meetings. IGPL (Popularity: ): Interest Group in Pure and Applied Logics: part of FoLLI. ASL (Popularity: ): Association for Symbolic Logic. FoLLI (Popularity: ): European Association for Logic, Language and Information. Meetings and publications. DVMLG (Popularity: ): Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German) International Federation for Computational Logic (IFCoLog) (Popularity: ): A federation of societies and groups active in computational logic. KR, Inc. (Popularity: ): Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on ... British Logic Colloquium (Popularity: ): Meetings, publications, reports and resources. COMPULOG Americas (Popularity: ): American Logic Programming Organization. CSHPM (Popularity: ): Canadian Society for History and Philosophy of Mathematics.