Volume 50, Issue 2
February 2013Special Issue: Formal Mathematics for Mathematicians
- Issue Editors:
-
- Andrzej Trybulec,
- Artur Kornilowicz,
- Adam Naumowicz,
- Krystyna Kuperberg
11 articles in this issue