Abstractions of uniform proofs

From MaRDI portal
Publication:2956724