![](https://media.springernature.com/w90/springer-static/cover/journal/10817/50/2.jpg?as=webp)
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