![](/img/cover-not-exists.png)
CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES
YAACOV, ITAÏ BENVolume:
8
Language:
english
Journal:
Journal of Mathematical Logic
DOI:
10.1142/S0219061308000737
Date:
December, 2008
File:
PDF, 345 KB
english, 2008