A categorical study on the finiteness of specifications (0)

by Răzvan Diaconescu
Venue:Information Processing Letters
Add To MetaCart
Results 1 - 1 of 1

Saturated models in institutions

by Răzvan Diaconescu , Marius Petria - ARCHIVES FOR MATHEMATICAL LOGIC
"... ..."
Abstract - Add to MetaCart
Abstract not found