Login / Signup

Generalized effective completeness for continuous logic.

Caleb Camrud
Published in: J. Log. Anal. (2023)
Keyphrases