Proof of certain identities in combinatory analysis.

From MaRDI portal
Publication:5909361