Preview Citation

Download

Formalized Mathematics (2008), 16(1), pp. 1-90. Retrieved 26 Sep. 2018, from https://www.degruyter.com/view/j/forma.2008.16.issue-1/issue-files/forma.2008.16.issue-1.xml