On characterizations of the first-order functions calculus

From MaRDI portal
Publication:2626396