swMATH6603MaRDI QIDQ18693
No author found.
Described by source
This page was built for software: Logics' Explorer