Types of depth and formula size

From MaRDI portal
Publication:2920906