The most nonelementary theory

Autor: Vorobyov, Sergei
Zdroj: In Information and Computation 2004 190(2):196-219
Databáze: ScienceDirect