A consistent extension of the lambda-cal
✍
Klaus J. Berkling; Elfriede Fehr
📂
Article
📅
1982
🏛
Elsevier Science
⚖ 504 KB