Merkliste 
 1 Ergebnisse 
 
1

A Language for Type‐Free Algebra:

Hatcher, William S.
Mathematical Logic Quarterly.  24 (1978)  25-30 - p. 385-397 , 1978