Research < Mathematical Logic in the Yahoo! Directory

Institute for Logic at the University of Vienna
Research institute for mathematical logic and set theory.
www.logic.univie.ac.at
Helsinki Logic Group, The
Team of logicians focusing on finite model theory, model theory, set theory, and non-standard analysis.
www.logic.math.helsinki.fi
Group in Logic and the Methodology of Science, University of California, Berkeley
Addressing the foundations of mathematics, philosophical logic, philosophy of mathematics, and logic in computer science and artificial intelligence.
www.math.berkeley.edu/logic

Mathematical Logic > Research