Volume 50, Issue 2, February 2013

Special Issue: Formal Mathematics for Mathematicians

ISSN: 0168-7433 (Print) 1573-0670 (Online)