By clicking the button “Accept License and Download”, you accept the license agreement and start the download process.

Note that the license terminates automatically after a certain period (see Clause 2).

For more information, please see The Mathematical Logic R0.

Accept License and Download