Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
2015
Institution-independent Model Theory Institution-independent Model Theory
2008