Preview Citation

Download

Formalized Mathematics (2007), 15(1), pp. 1-25. Retrieved 24 Jun. 2018, from https://www.degruyter.com/view/j/forma.2007.15.issue-1/issue-files/forma.2007.15.issue-1.xml