Formalized Mathematics, Volume 21

Volume 21, Number 1, January 2013

Volume 21, Number 2, June 2013

Volume 21, Number 3, September 2013

Volume 21, Number 4, December 2013

maintained by Schloss Dagstuhl LZI at University of Trier