Journal of Formalized Reasoning

Tome 12 (2019)
Tome 11 (2018)
Tome 10 (2017)
Tome 9 (2016)
Tome 8 (2015)
Tome 7 (2014)
Tome 6 (2013)
Tome 5 (2012)
Tome 4 (2011)
Tome 3 (2010)
Tome 2 (2009)
Tome 1 (2008)