Domain Tools

Welcome Guest! Login/Join

Whois

Domain Suggestions

For Sale

Auctions

Advanced Auctions

Domain Search

Domain Monitor

Domain Directory

Ping

Traceroute

My IP Address

Domain Parking Beta

Cheap Domain Name Registration

Bulk Check

Domain Typo Generator

more >

Power Tools:

Institutions

Directory > Science > Math > Logic_and_Foundations > Institutions

Sort by

(Google PR) (Alphabetical)

Europe (39)

North_America (17)

Related Categories:

Science > Math > Academic_Departments (969)

Science > Math > Algebra > Category_Theory > Research_Groups (13)

Logic at Leeds Homepage - http://www.amsta.leeds.ac.uk/pure/logic/
Information on the Leeds University Logic Group

(Australia) Canberra - http://csl.rsise.anu.edu.au/logic
Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.

(Colombia) Bogotá - http://www.matematicas.unal.edu.co/villaveces/logica.html
Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).

(Israel) Haifa - http://www.cs.technion.ac.il/~admlogic/lcoll.html
Logic Seminar.

(Israel) Ben Gurion University of the Negev - http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html
Mathematical and Computational Logic Research Group.

(Japan) Kobe - http://kurt.scitec.kobe-u.ac.jp/
Foundations of Mathematics and Computer Science.

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

Submit a Site - Open Directory Project - Become an Editor

Domain Tools analysis of DMOZ top listed domains