Research < Mathematical Logic in the Yahoo! Directory

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
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
Institute for Logic at the University of Vienna
Research institute for mathematical logic and set theory.
www.logic.univie.ac.at

Mathematical Logic > Research