Property theory: The type-free approach \(v\). The Church approach

From MaRDI portal
Publication:1319264