Login / Signup

Semantic Completeness of Free-Variable Theories.

Daniel G. Schwartz
Published in: Math. Log. Q. (1987)
Keyphrases