Algebra and Logic

Article
Kahle,R
AXIOMATHES

2015
25
1
79-91
10.1007/s10516-014-9252-9