Journal of Formalized Reasoning

1972-5787 (Online)

Added 29 April 2009 • Updated 13 August 2020