Lawrence S. Moss
(2000-2009)
X2006
in: Mathematical problems from applied logic I, Dordrecht : Springer
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
2004
Synthese 139/2
(2000-2009)
X2006
in: Mathematical problems from applied logic I, Dordrecht : Springer
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
2004
Synthese 139/2