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.

To download enter “license” as user and “accepted” as password in the form after clicking the button below.

Accept License and Download