Pennsylvania, University of (Popularity: )

Logic and Computation Group.

Manchester Metropolitan University (Popularity: )

Department of Computing and Mathematics, Logic and Computation Group. Research projects: Proof Methods for Non-Classical ...

(Colombia) Bogotá (Popularity: )

Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).

(Italy) Istituto di Elaborazione della Informazione (Popularity: )

Information and news on research activities.

(Israel) Ben Gurion University of the Negev (Popularity: )

Mathematical and Computational Logic Research Group.

Brigham Young University (Popularity: )

Laboratory for Applied Logic.

Las Cruces, New Mexico (Popularity: )

Laboratory for Logic,Databases and Advanced Programming.

(Australia) Canberra (Popularity: )

Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms ...

Linear Naming and Computation (Popularity: )

A distributed research group associated with the Church Project working on the design and implementation ...

(Japan) Kobe (Popularity: )

Foundations of Mathematics and Computer Science.

Logic at Leeds Homepage (Popularity: )

Information on the Leeds University Logic Group

University of Manchester (Popularity: )

Mathematical Foundations Group. An informal group in mathematics and computer science. Members, seminars and lecture ...

(Israel) Haifa (Popularity: )

Logic Seminar.

(Czech Republic) Ostrava (Popularity: )

Institute for Research and Applications of Fuzzy Modeling. Staff, projects, publications.

Berkeley, University of California (Popularity: )

Group in Logic and the Methodology of Science.

(Belgium) University of Mons-Hainault (Popularity: )

Mathematical Logic.

Carnegie Mellon University (Popularity: )

Pure and Applied Logic.

(Austria) University of Vienna (Popularity: )

Department of Formal Logic.

Bonn (Popularity: )

Mathematical Logic Group.

(Sweden) Uppsala (Popularity: )

Mathematical Logic.