Iterated multiplication in VTC0.

Autor: Jeřábek, Emil1 (AUTHOR) jerabek@math.cas.cz
Zdroj: Archive for Mathematical Logic. Jul2022, Vol. 61 Issue 5/6, p705-767. 63p.
Databáze: Academic Search Ultimate
Externí odkaz:
Nepřihlášeným uživatelům se plný text nezobrazuje