Ultraproducts and possible worlds semantics in institutions
Răzvan Diaconescu, Petros StefaneasVolume:
379
Year:
2007
Language:
english
Pages:
21
DOI:
10.1016/j.tcs.2007.02.068
File:
PDF, 445 KB
english, 2007