Relation algebra reducts of cylindric algebras and an application to proof theory
Hirsch, Robin, Hodkinson, Ian, Maddux, Roger D.Volume:
67
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1190150037
Date:
March, 2002
File:
PDF, 1.07 MB
english, 2002