Advances in schematic cut elimination / von David Michael Cerna. 2015
Inhalt