Institution-Independent Ultraproducts (2003)

by R Diaconescu
Venue:Fundamenta Informaticae