Journal of Mathematical Logic. 2008;8(2):197-223. doi: 10.1142/S0219061308000737 Q10.92025

CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES

DOI: 10.1142/S0219061308000737

摘要 查看摘要

Copyright © Journal of Mathematical Logic. 中文内容为AI机器翻译，仅供参考！