The Work

Build your own clarithmetic I: Setup and completeness

The details

The Author

Giorgi Japaridze

The offers