Web Site Information :.

Site Info    Whois    Traceroute    RBL Check

• Site Info
• Who Is
• Trace Route
• RBL Check
• What's My IP?
• Web Search

Enter Web Site URL Address:
 

Top / Science / Math / Logic_and_Foundations / Institutions / Europe / United_Kingdom /

University of Leeds Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, events, seminars. http://www.amsta.leeds.ac.uk/Pure/logic/ Leeds.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   University of St. Andrews Arché: Centre for the Philosophy of Logic, Language, Mathematics and Mind. http://www.st-andrews.ac.uk/academic/philosophy/arche/ St-andrews.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   University of St. Andrews Department of Computer Science, Computational Logic group. Members, events, publications, collaborators. http://www.dcs.st-and.ac.uk/~rd/logic.html St-and.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   Manchester Metropolitan University Department of Computing and Mathematics, Logic and Computation Group. Research projects: Proof Methods for Non-Classical Logics; Temporal and Modal Logics; Programming Language Design; Agent-Based Systems. Members, research interests, bibliography. http://www.doc.mmu.ac.uk/RESEARCH/logicgrp/ Mmu.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   University of Manchester Mathematical Foundations Group. An informal group in mathematics and computer science. Members, seminars and lecture notes. http://www.cs.manchester.ac.uk/mfg/ Manchester.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   University of Manchester Department of Computer Science, Formal Methods Group. Members, research projects, meetings and seminars. http://www.cs.manchester.ac.uk/fmethods/ Manchester.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   University of London, Queen Mary Westfield College Logic and Semantics group. People, projects and research. http://www.dcs.qmul.ac.uk/research/logic/ Qmul.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   University of Oxford Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange. http://www.maths.ox.ac.uk/groups/logic Ox.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check