Which two-sorted algebras of booleans an
โ
Wan Fokkink; Jaco van de Pol; Sujith Vijay
๐
Article
๐
2005
๐
Springer
๐
English
โ 210 KB